Theorem Asymptotics.IsEquivalent.refl

Modification history

2023-04-17 06:46

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Added Asymptotics.IsEquivalent.refl View on Github →