mathlib3

e61584d5 - fix(topology/sheaves/*): Fix docstrings (#9807)

fix(topology/sheaves/*): Fix docstrings (#9807) As noted by @alreadydone in #9607, I forgot propagate naming changes to docstrings. This PR fixes that.