[Merged by Bors] - feat(Topology/Algebra): inv and div for infinite products over groups with zero#40591
Closed
ajirving wants to merge 11 commits into
Closed
[Merged by Bors] - feat(Topology/Algebra): inv and div for infinite products over groups with zero#40591ajirving wants to merge 11 commits into
ajirving wants to merge 11 commits into
Commits
Commits on Jun 14, 2026
Commits on Jul 10, 2026
- andauthored
- andauthored
- authored
- committed
