Mathlib v3 is deprecated. Go to Mathlib v4

Theorem path.continuous_eval

Modification history

2022-09-29 12:54
src/topology/path_connected.lean
feat(topology/path_connected): add five lemmas (#16501) …
Added path.continuous_evalView on Github →