mathlib3
dd6f53d8 - chore(data/seq/seq): clean up spacing (#15825)

Commit

3 years ago

chore(data/seq/seq): clean up spacing (#15825) And other small acts of golfing.

Author

vihdzp

vihdzp

Parents

Loading