Theorem Set.disjoint_image_of_injective

Modification history