Theorem AlgebraicGeometry.surjective_of_isDominant_of_isClosed_range

Modification history