Theorem NowhereDifferentiable.exists_uniformContinuous_and_not_differentiableAt

Modification history

2025-12-17 18:19
Counterexamples/NowhereDifferentiable.lean
feat(Counterexamples): Weierstrass function is continuous and nowhere differentiable (#31954)
Added NowhereDifferentiable.exists_uniformContinuous_and_not_differentiableAtView on Github →