Skip to content
Back to pull request #41929

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

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 #256534

Fix style issues from lint

Fix style issues from lint
succeeded Jul 19, 2026 in 6s