Mathlib Changelog
v4
Changelog
About
Github
Theorem
Asymptotics.IsBigO.integrable
Modification history
2024-12-27 09:22
Mathlib/MeasureTheory/Integral/Asymptotics.lean
chore(Integral/Asymptotics): drop noop `_root_.Asymptotics` (#20253) …
Modified
Asymptotics.IsBigO.integrable
View on Github →
2024-02-06 19:27
Mathlib/MeasureTheory/Integral/Asymptotics.lean
feat: bounding integrals by asymptotics, part 1 (#10248) …
Added
Asymptotics.IsBigO.integrable
View on Github →