Skip to content
Back to pull request #41936

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

Sign in to view logs

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

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

post-or-update-summary-comment

post-or-update-summary-comment
succeeded Jul 20, 2026 in 1m 26s