Theorem IsClosedMap.specializingMap

Modification history