Theorem Path.continuous_eval

Modification history

2024-10-18 09:18

Mathlib/Topology/Connected/PathConnected.lean

feat(Topology): define `ContinuousEval{,Const}` classes (#17319)

Deleted Path.continuous_eval View on Github →

2023-03-23 16:06

Mathlib/Topology/PathConnected.lean

feat: port Topology.PathConnected (#2755) …

Added Path.continuous_eval View on Github →