Theorem hasFTaylorSeriesUpToOn_pi'

Modification history

2024-11-20 13:28

Mathlib/Analysis/Calculus/ContDiff/Basic.lean

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

Modified hasFTaylorSeriesUpToOn_pi'View on Github →

2023-06-04 09:37

Mathlib/Analysis/Calculus/ContDiff.lean

feat: port Analysis.Calculus.ContDiff (#4532)

Added hasFTaylorSeriesUpToOn_pi'View on Github →