Theorem AddAut.mulRight_apply

Modification history

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