mathlib
3e458e23 - chore(topology/sequences): rename variables (#14631)

Commit

3 years ago

chore(topology/sequences): rename variables (#14631) * types `X`, `Y`; * sequence `x : ℕ → X`; * a point `a : X`; * sets `s`, `t`.

Author

urkud

Parents