Theorem AlgebraicGeometry.IsAffineOpen.fromSpecStalk_eq_fromSpecStalk

Modification history