Theorem stableUnderSpecialization_iff_exists_sUnion_eq

Modification history