Theorem Continuous.exists_contMDiff_approx

Modification history

2025-11-17 21:06
Mathlib/Geometry/Manifold/SmoothApprox.lean
feat: approximate continuous functions by smooth functions (#31278) …
Added Continuous.exists_contMDiff_approxView on Github →