Theorem specializingMap_iff_closure_singleton_subset

Modification history