Theorem contDiffOn_empty

Modification history

2025-11-12 11:33
Mathlib/Analysis/Calculus/ContDiff/Defs.lean
feat: add contMDiffOn_empty and friends (#31542) …
Added contDiffOn_emptyView on Github →