Theorem stableUnderGeneralization_sInter

Modification history