Theorem Equiv.Perm.MulAut.inv_symm

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