Theorem AlgebraicGeometry.SurjectiveOnStalks.iff_of_isAffine

Modification history