Theorem Set.image2_singleton_left

Modification history