Theorem Set.disjoint_preimage_iff

Modification history