Theorem AlgebraicGeometry.Scheme.map_basicOpen

Modification history