Theorem AddAut.mulRight_symm_apply

Modification history

2023-01-01 20:11
Mathlib/Algebra/Ring/AddAut.lean
feat: port Algebra.Ring.AddAut (#1284)
Added AddAut.mulRight_symm_applyView on Github →