mathlib3

5d35e626 - feat(algebraic_geometry/*): Gamma the global sections functor (#4126)