Theorem Set.Disjoint.set_pi

Modification history