Def FormalMultilinearSeries.compAlongOrderedFinpartition

Modification history

2024-11-06 14:51

Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean

feat: the Faa di Bruno formula (#17400)

Added FormalMultilinearSeries.compAlongOrderedFinpartition View on Github →