Theorem stableUnderGeneralization_empty

Modification history