Theorem stableUnderGeneralization_iUnion

Modification history