Skip to content
Back to pull request #41930

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

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

Verify Transient and Automated Commits

Verify Transient and Automated Commits
succeeded Jul 19, 2026 in 40s