Theorem Set.disjoint_pi

Modification history