HomeIsabelle/Phabricator

Add lemma strong_cluster_union