Theorem Set.image2_singleton_right

Modification history