Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-09-29 12:54 37cfab4b

View on Github →

feat(topology/path_connected): add five lemmas (#16501) add five lemmas about symm and trans operations on paths

Estimated changes

added theorem continuous.path_eval
added theorem continuous.path_trans
added theorem path.continuous_eval
added theorem path.continuous_symm
added theorem path.continuous_trans