Theorem Asymptotics.isLittleO_mul_iff_isLittleO_div

Modification history

2025-12-07 22:48
Mathlib/Analysis/Asymptotics/Lemmas.lean
feat(Analysis/Asymptotics): Variants of isBigO_mul_iff_isBigO_div (#32544) …
Added Asymptotics.isLittleO_mul_iff_isLittleO_divView on Github →