mathlib
cf0c6b83
- chore(*): use prod and sum notation (#3027)
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
5 years ago
chore(*): use prod and sum notation (#3027)
Author
kckennylau
Parents
5129aed5
Loading