feat(Algebra): total monoid algebra#41472

BryceT233 wants to merge 18 commits into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

BryceT233:total_monoid_algebraBryceT233/mathlib4:total_monoid_algebraCopy head branch name to clipboard