Theorem contDiffWithinAt_insert_self

Modification history

2023-06-23 23:13
Mathlib/Analysis/Calculus/ContDiffDef.lean
feat: supporting lemmas for port of `ContMDiff` (#5428) …
Added contDiffWithinAt_insert_selfView on Github →