Theorem Set.disjoint_image_iff

Modification history