Theorem ContDiffWithinAt.differentiableWithinAt'

Modification history

2024-10-10 16:56
Mathlib/Analysis/Calculus/ContDiff/Defs.lean
chore: rename leftovers from the port (#17619)
Added ContDiffWithinAt.differentiableWithinAt'View on Github →