mathlib3

1f74ddd2 - feat(topology/local_extr): add lemmas on composition with continuous functions (#3459)