Theorem stableUnderGeneralization_sUnion

Modification history