Theorem AlgebraicGeometry.stalkMap_injective_of_isAffine

Modification history