mathlib3

af682d35 - feat(algebraic_geometry): A scheme is reduced iff its stalks are reduced. (#10879)