Skip to content

feat(Algebra): total monoid algebra#41472

Draft
BryceT233 wants to merge 18 commits into
leanprover-community:masterfrom
BryceT233:total_monoid_algebra
Draft

feat(Algebra): total monoid algebra#41472
BryceT233 wants to merge 18 commits into
leanprover-community:masterfrom
BryceT233:total_monoid_algebra

refine docstrings

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