Theorem specializingMap_iff_stableUnderSpecialization_image

Modification history