Theorem UniformContinuous.exists_contDiff_dist_le

Modification history

2025-04-22 14:20
Mathlib/Analysis/Calculus/BumpFunction/SmoothApprox.lean
feat(Calculus/BumpFunction/SmoothApprox): new file (#24162) …
Added UniformContinuous.exists_contDiff_dist_leView on Github →