Theorem Equiv.permCongr_eq_mul

Modification history

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