Theorem stableUnderGeneralization_iff_exists_sInter_eq

Modification history