Theorem GeneralizingMap.stableUnderGeneralization_range

Modification history