Skip to content
Back to pull request #41929

[Merged by Bors] - fix(Algebra/FreeMonoid): fix recursor argument names #203562

Sign in to view logs

[Merged by Bors] - fix(Algebra/FreeMonoid): fix recursor argument names

[Merged by Bors] - fix(Algebra/FreeMonoid): fix recursor argument names #203562

update-label

update-label
succeeded Jul 19, 2026 in 4s