mathlib3
6120aac4 - chore(data/seq/*): trivial spacing fixes (#15847)

Commit
3 years ago
chore(data/seq/*): trivial spacing fixes (#15847) We do `λx` → `λ x` and a single instance of `{ x }` → `{x}`.
Author
Parents
Loading