Theorem AddAut.conj_inv_apply

Modification history

2024-11-23 00:05
Mathlib/Algebra/Group/Aut.lean
chore(Algebra/Group/TypeTags): Remove porting notes related to lean4#1910, use new notation everywhere (#19369) …
Modified AddAut.conj_inv_applyView on Github →
2022-12-21 05:22
Mathlib/Algebra/Hom/Aut.lean
feat: port Algebra.Hom.Aut (#1111) …
Added AddAut.conj_inv_applyView on Github →