fact: Hypothesis Hf: forall p q, StateSetSet.In p t0 -> StateSetSet.In q t0 -> (StateSet.Equal (f p) (f q) <-> StateSet.Equal p q).
imports: ATBR(Utils_WF) ATBR(DisjointSets) ATBR(DKA_Definitions) ATBR(MyFSets) ATBR(MyFSetProperties) ATBR(MyFMapProperties) ATBR(Common)