Def AddAut.mulRight

Modification history

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