Def Asymptotics.IsEquivalent

Modification history

2023-04-17 06:46

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Added Asymptotics.IsEquivalent View on Github →