Theorem Asymptotics.IsEquivalent.neg

Modification history

2023-04-17 06:46

Mathlib/Analysis/Asymptotics/AsymptoticEquivalent.lean

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

Added Asymptotics.IsEquivalent.neg View on Github →