Mathlib v3 is deprecated. Go to Mathlib v4

Theorem cont_diff_clm_apply_iff

Modification history

2022-11-25 14:56
src/analysis/calculus/cont_diff.lean
refactor(analysis/calculus/cont_diff): bit of cleanup (#17585) …
Added cont_diff_clm_apply_iffView on Github →