Theorem AlgebraicGeometry.Scheme.presheaf_map_eqToHom_op

Modification history