mathlib3
37cfab4b - feat(topology/path_connected): add five lemmas (#16501)

Commit

3 years ago

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

Author

faenuccio

Parents