Theorem Set.disjoint_right_ordSeparatingSet

Modification history