Skip to content
Back to pull request #41936

[Merged by Bors] - feat(GroupTheory/Presentation): define group presentations #52183

Sign in to view logs

[Merged by Bors] - feat(GroupTheory/Presentation): define group presentations

[Merged by Bors] - feat(GroupTheory/Presentation): define group presentations #52183

Verify Transient and Automated Commits

Verify Transient and Automated Commits
succeeded Jul 20, 2026 in 48s