Theorem AlgebraicGeometry.Scheme.Hom.isClosedMap

Modification history