Mathlib v3 is deprecated. Go to Mathlib v4

Theorem path.continuous_uncurry_iff

Modification history

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