Theorem AlgebraicGeometry.surjective_of_isClosed_range_of_injective

Modification history