Theorem Equiv.Perm.MulAut.symm_inv

Modification history

2025-05-14 09:23
Mathlib/Algebra/Group/End.lean
feat(GroupTheory/GroupAction/Basic): equivalences between stabilizers (#24107) …
Modified Equiv.Perm.MulAut.symm_invView on Github →
2025-05-13 13:05
Mathlib/Algebra/Group/End.lean
feat(Algebra/Group/End) : add MulAut.inv_apply and some simp lemmas (#24082)
Added Equiv.Perm.MulAut.symm_invView on Github →