Theorem AddMonoidHom.mulRight_apply

Modification history

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