Theorem specializingMap_iff_closure_singleton

Modification history