Theorem Asymptotics.isLittleO_const_id_cobounded

Modification history

2023-11-29 21:38
Mathlib/Analysis/Asymptotics/Asymptotics.lean
refactor: get rid of `comap norm atTop` (#8262)
Added Asymptotics.isLittleO_const_id_coboundedView on Github →