Theorem specializingMap_iff_stableUnderSpecialization_image_singleton

Modification history