HomeIsabelle/Phabricator

Relational_Disjoint_Set_Forests: stronger invariant

Description

Relational_Disjoint_Set_Forests: stronger invariant

Details

Provenance
Walter Guttmann <walter.guttmann@canterbury.ac.nz>Authored on
Parents
rAFPf0e84dd15882: moved to List
Branches
Unknown
Tags
Unknown