Commit 2026-03-10 21:47 fafbbbf0

View on Github →

chore(GroupTheory/SpecificGroups/Alternating): clean up some proofs (#36450) This PR cleans up a few proofs in GroupTheory/SpecificGroups/Alternating.lean.

Estimated changes