Theorem AlgebraicGeometry.IsAffineOpen.fromSpecStalk_eq

Modification history