Skip to content

fix(Algebra/FreeMonoid): fix recursor argument names#41929

Open
plp127 wants to merge 2 commits into
leanprover-community:masterfrom
plp127:aliu/motive-freeMonoid
Open

fix(Algebra/FreeMonoid): fix recursor argument names#41929
plp127 wants to merge 2 commits into
leanprover-community:masterfrom
plp127:aliu/motive-freeMonoid

missed one

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