Theorem stableUnderSpecialization_compl_iff

Modification history