mathlib
5b87850b
- lint style
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
lint style
References
#19219 - feat(topology/algebra/infinite_sum) : define infinite products
Author
Antoine Chambert-Loir
Parents
181e1172
Loading