Theorem ContinuousMultilinearMap.cPolyomialOn

Modification history

2025-03-10 19:32
Mathlib/Analysis/Calculus/FDeriv/Analytic.lean
chore: cleanup names in CPolynomial (#22789)
Deleted ContinuousMultilinearMap.cPolyomialOnView on Github →
2024-02-06 18:38
Mathlib/Analysis/Calculus/FDeriv/Analytic.lean
feat: define `ContinuousMultilinearMap.linearDeriv` and show it's the `fderiv` (#9846)
Added ContinuousMultilinearMap.cPolyomialOnView on Github →