mathlib
f3e89fb4 - chore(topology/sequences): drop local notation `x ⟶ a` (#15696)

Commit

3 years ago

chore(topology/sequences): drop local notation `x ⟶ a` (#15696) As requested by @PatrickMassot some time ago.

Author

urkud

Parents