mathlib
181e1172 - feat(topology/algebra/infinite_sum) : infinite products

Commit

2 years ago

feat(topology/algebra/infinite_sum) : infinite products

References

#19219 - feat(topology/algebra/infinite_sum) : define infinite products

Author

Antoine Chambert-Loir

Parents

Loading