[Merged by Bors] - fix(GroupTheory/Coprod): fix recursor argument name #256531
Triggered via pull request
July 19, 2026 18:06
felixpernegger
felixpernegger
submitted
#41930
Status
Success
Total duration
12s
Artifacts
–
bot_fix_style.yaml
on: pull_request_review
Fix style issues from lint
7s