HomeIsabelle/Phabricator

Relational_Disjoint_Set_Forests: simplified invariant