mathlib3
08ac68ec
- Fix long line
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
3 years ago
Fix long line
References
#16174 - refactor(data/dfinsupp/basic): move material on `dfinsupp.sum` and `dfinsupp.prod` to new file
Author
stuart-presnell
Parents
1e4b3503
Loading