mathlib3
836c0a26 - chore(*): use sum notation (#3014)
Commit
View On GitHub
Commit
5 years ago
chore(*): use sum notation (#3014) The biggest field test of the new summation notation.
Author
kckennylau kckennylau
Parents
d9934b26
FAQ Terms Privacy Refunds Impressum
Loading