Theorem Set.disjoint_image_left

Modification history