mathlib3

feat(topology/sheaves/stalks): Generalize to `stalk_pushforward_iso_of_inducing`

#17539

Open