Theorem Set.univ_disjoint

Modification history