Mathlib v3 is deprecated. Go to Mathlib v4

Theorem asymptotics.is_equivalent.refl

Modification history

2020-12-05 07:50

src/analysis/asymptotic_equivalent.lean

feat(analysis): define asymptotic equivalence of two functions (#4979) …

Added asymptotics.is_equivalent.refl View on Github →