Theorem Asymptotics.IsLittleO.trans_isEquivalent

Modification history

2023-07-02 04:04

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

feat(Analysis/Asymptotics/AsymptoticEquivalent): add `Trans` instances for `IsEquivalent` (#5572) …

Added Asymptotics.IsLittleO.trans_isEquivalent View on Github →