Skip to content
Back to pull request #41930

[Merged by Bors] - fix(GroupTheory/Coprod): fix recursor argument name #256531

Sign in to view logs

[Merged by Bors] - fix(GroupTheory/Coprod): fix recursor argument name

[Merged by Bors] - fix(GroupTheory/Coprod): fix recursor argument name #256531

Fix style issues from lint

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