Theorem Equiv.permCongrHom_coe_equiv

Modification history

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