Mathlib v3 is deprecated. Go to Mathlib v4

Def add_hom.mul_right

Modification history

2021-09-15 18:42
src/algebra/ring/basic.lean
refactor(data/real/nnreal): use `has_ordered_sub` (#9167) …
Added add_hom.mul_rightView on Github →