feat(GroupTheory/SpecificGroups/AlternatingGroup): subgroups of index 2 of Equiv.Perm #24337
Triggered via issue
January 31, 2025 08:46
mathlib4-dependent-issues-bot
Status
Success
Total duration
12s
Artifacts
–
maintainer_bors.yml
on: issue_comment
Add ready-to-merge or delegated label
4s