mathlib3
87fbbd1f - chore(analysis/asymptotics): golf 2 proofs (#14473)

Commit

3 years ago

chore(analysis/asymptotics): golf 2 proofs (#14473) Don't go back and forth between `∈ l` and `∀ᶠ l`.

Author

urkud

Parents