Theorem OrderedFinpartition.applyOrderedFinpartition_apply

Modification history

2025-03-13 02:38
Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean
chore: whitespace again (#22878) …
Modified OrderedFinpartition.applyOrderedFinpartition_applyView on Github →
2024-11-06 14:51
Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean
feat: the Faa di Bruno formula (#17400)
Added OrderedFinpartition.applyOrderedFinpartition_applyView on Github →