Theorem AlgebraicGeometry.Scheme.Opens.ι_appIso

Modification history