Theorem Set.disjoint_of_subset

Modification history