Theorem AlgebraicGeometry.Scheme.Opens.ι_image_le

Modification history