Theorem Filter.EventuallyEq.isEquivalent

Modification history

2023-07-02 04:04

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Modified Filter.EventuallyEq.isEquivalent View on Github →

2023-04-17 06:46

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

feat: port Analysis.Asymptotics.AsymptoticEquivalent (#3417)

Added Filter.EventuallyEq.isEquivalent View on Github →