Commit 2023-01-01 20:11 9c30fc2f

View on Github →

feat: port Algebra.Ring.AddAut (#1284)

Estimated changes

added def AddAut.mulLeft
added def AddAut.mulRight
added theorem AddAut.mulRight_apply