Theorem Asymptotics.IsEquivalent.trans_eventuallyEq

Modification history

2023-07-02 04:04

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Added Asymptotics.IsEquivalent.trans_eventuallyEq View on Github →