Theorem stableUnderGeneralization_iInter

Modification history