Def Equiv.altCongrHom

Modification history

2025-08-29 14:13
Mathlib/GroupTheory/SpecificGroups/Alternating.lean
feat: Group isomorphisms between (`Equiv.Perm`|`alternatingGroup`)s (#27498) …
Added Equiv.altCongrHomView on Github →