mathlib3

05b820ec - feat(topology/sheaves/stalks): stalk functor preserves monomorphism (#16797)