Theorem AlgebraicGeometry.Scheme.Opens.ι_appLE

Modification history