Theorem stableUnderSpecialization_sInter

Modification history