Theorem Asymptotics.IsLittleO.add_iff_right

Modification history

2025-12-17 21:56
Mathlib/Analysis/Asymptotics/Defs.lean
chore(Analysis): fix whitespace (#32909) …
Modified Asymptotics.IsLittleO.add_iff_rightView on Github →
2025-03-21 07:31
Mathlib/Analysis/Asymptotics/Defs.lean
feat(Analysis/Asymptotics) `IsBigO.add_iff_left` and variants (#23059) …
Added Asymptotics.IsLittleO.add_iff_rightView on Github →