Theorem specializingMap_iff_isClosed_image_closure_singleton

Modification history