Theorem Set.mapsTo_singleton

Modification history