Theorem AlgebraicGeometry.Scheme.Spec_map_presheaf_map_eqToHom

Modification history