Theorem Asymptotics.IsBigOWith.rpow

Modification history

2023-05-25 08:46

Mathlib/Analysis/SpecialFunctions/Pow/Asymptotics.lean

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

Added Asymptotics.IsBigOWith.rpow View on Github →