Theorem AlgebraicGeometry.Scheme.Opens.ι_app_self

Modification history