Theorem IsOpen.stableUnderGeneralization

Modification history