Theorem HasFTaylorSeriesUpToOn.comp

Modification history

2024-11-20 13:28

Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean

feat: change definition of `HasFTaylorSeries` to take a parameter in `WithTop ℕ∞` instead of `ℕ∞` (#18723) …

Modified HasFTaylorSeriesUpToOn.comp View on Github →

2024-11-06 14:51

Mathlib/Analysis/Calculus/ContDiff/FaaDiBruno.lean

feat: the Faa di Bruno formula (#17400)

Added HasFTaylorSeriesUpToOn.comp View on Github →