Def Equiv.permCongrHom

Modification history

2025-08-29 14:13

Mathlib/Algebra/Group/End.lean

feat: Group isomorphisms between (`Equiv.Perm`|`alternatingGroup`)s (#27498) …

Added Equiv.permCongrHom View on Github →