Skip to content

[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
leanprover-community:masterfrom
ajirving:hasprod_inv0
Closed

[Merged by Bors] - feat(Topology/Algebra): inv and div for infinite products over groups with zero#40591
ajirving wants to merge 11 commits into
leanprover-community:masterfrom
ajirving:hasprod_inv0

Use a section to avoid repeated omit

687b024
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
post-or-update-summary-comment
succeeded Jul 23, 2026 in 1m 27s