Theorem stableUnderSpecialization_iff_Union_eq

Modification history