Theorem Set.disjoint_univ

Modification history