Theorem AlgebraicGeometry.IsAffineOpen.stalkMap_injective

Modification history