Theorem Equiv.Perm.MulAut.coe_inv

Modification history

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.coe_invView on Github →