Theorem FormalMultilinearSeries.compAlongOrderedFinpartition_apply

Modification history

2024-11-06 14:51
Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean
feat: the Faa di Bruno formula (#17400)
Added FormalMultilinearSeries.compAlongOrderedFinpartition_applyView on Github →