mathlib
743209ca - chore(algebra/big_operators/basic): spaces around binders (#8307)

Commit
4 years ago
chore(algebra/big_operators/basic): spaces around binders (#8307)
Author
Parents
Loading