Theorem stableUnderSpecialization_iInter

Modification history