Theorem AlgebraicGeometry.LocallyRingedSpace.basicOpen_zero

Modification history