mathlib
a21a8bc6 - chore(data/mv_polynomial/basic): spacing (#16001)

Commit
3 years ago
chore(data/mv_polynomial/basic): spacing (#16001) We remove some unnecessary spaces in the module docs, and space out many tightly packed instances.
Author
Parents
Loading