mathlib3

b77916db - feat(algebraic_geometry/Scheme): improve cosmetics of definition (#7325)

feat(algebraic_geometry/Scheme): improve cosmetics of definition (#7325) Purely cosmetic, but the definition is going on a poster, so ... Co-authored-by: Scott Morrison <scott.morrison@gmail.com>