Theorem UniformOnFun.edist_eval_le

Modification history

2025-07-08 11:58
Mathlib/Topology/MetricSpace/UniformConvergence.lean
chore: whitespace fixes in lemmas (#26892) …
Modified UniformOnFun.edist_eval_leView on Github →
2025-06-19 08:56
Mathlib/Topology/MetricSpace/UniformConvergence.lean
feat: define a metric structure on `α →ᵤ β` (#25827) …
Added UniformOnFun.edist_eval_leView on Github →