Theorem Equiv.permCongrHom_trans

Modification history

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