Theorem Asymptotics.IsEquivalent.trans

Modification history

2023-04-17 06:46

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Added Asymptotics.IsEquivalent.trans View on Github →