Theorem AddMonoidHom.coe_mulRight

Modification history

2023-04-01 19:08
Mathlib/Algebra/Ring/Basic.lean
chore: tidy various files (#3124)
Added AddMonoidHom.coe_mulRightView on Github →