Theorem AlgebraicGeometry.Scheme.eq_restrict_presheaf_map_eqToHom

Modification history