mathlib
416944d0
- one erroneous translation
Go
Login via GitHub
Home
Pricing
FAQ
Install
Login
via GitHub
Commit
View On
GitHub
Commit
2 years ago
one erroneous translation
References
has_tprod
#19219 - feat(topology/algebra/infinite_sum) : define infinite products
Author
Antoine Chambert-Loir
Parents
5b87850b
Loading