Theorem AlgebraicGeometry.Scheme.basicOpen_zero

Modification history