Theorem stableUnderSpecialization_sUnion

Modification history