Skip to content

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

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

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

Annotations

1 warning

Lint and suggest

succeeded Jul 19, 2026 in 2m 35s