Theorem AlgebraicGeometry.isClosedMap_iff_specializingMap

Modification history