Theorem AlgebraicGeometry.Scheme.Opens.ι_app

Modification history