Theorem AlgebraicGeometry.Scheme.image_basicOpen

Modification history