feat(GroupTheory/SpecificGroups/Alternating/Simple): simplicity of the alternating groups #229981
Triggered via issue
April 11, 2026 14:22
mathlib-merge-conflicts[bot]
Status
Skipped
Total duration
1s
Artifacts
–
maintainer_bors.yml
on: issue_comment
Add ready-to-merge or delegated label
0s