Theorem AlgebraicGeometry.Scheme.Opens.eq_presheaf_map_eqToHom

Modification history