mathlib

9ea4568b - fix(topology/path_connected): add `continuity` to `path.continuous_extend` (#9605)