Theorem IsClosed.stableUnderSpecialization

Modification history