This repository has been archived by the owner on Jul 24, 2024. It is now read-only.

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

Open

AntoineChambert-Loir wants to merge 3 commits intomasterfrom has_tprod

+1,118-820

Commits on Jun 29, 2023

feat(topology/algebra/infinite_sum) : infinite products
Antoine Chambert-Loir
committed
lint style
Antoine Chambert-Loir
committed
one erroneous translation
Antoine Chambert-Loir
committed