Theorem Asymptotics.IsLittleO.rpow

Modification history

2023-05-25 08:46

Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean

feat: port Analysis.SpecialFunctions.Pow.Asymptotics (#4174)

Added Asymptotics.IsLittleO.rpow View on Github →