Theorem quotientMap_iff_closed

Modification history