Theorem Set.disjoint_univ_pi

Modification history