Theorem stableUnderGeneralization_univ

Modification history