infinite_sum) : define infinite products
#19219

Open

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

AntoineChambert-Loir wants to merge 3 commits into master from has_tprod

feat(topology/algebra/infinite_sum) : infinite products

181e1172

AntoineChambert-Loir added awaiting-review

github-actions added modifies-synchronized-file

lint style

5b87850b

one erroneous translation

416944d0

kim-em added too-late

Reviewers

No reviews

Assignees

No one assigned

Labels

awaiting-review modifies-synchronized-file too-late

Milestone

No milestone