Theorem AlgebraicGeometry.Scheme.map_basicOpen_map

Modification history