Theorem AlgebraicGeometry.Scheme.Opens.ι_image_basicOpen

Modification history