Theorem AlgebraicGeometry.Scheme.basicOpen_of_isUnit

Modification history