[Merged by Bors] - fix(Algebra/FreeMonoid): fix recursor argument names #280864
Triggered via pull request
July 19, 2026 18:10
themathqueen
themathqueen
submitted
#41929
Status
Skipped
Total duration
10s
Artifacts
–
maintainer_bors.yml
on: pull_request_review
Detect bors merge/delegate command