Mathlib v3 is deprecated. Go to Mathlib v4

Theorem is_right_cancel_mul_zero.to_is_cancel_mul_zero

Modification history

2022-12-21 21:36
src/algebra/group_with_zero/defs.lean
refactor(algebra/group_with_zero/defs): use `is_*cancel_mul_zero` (#17963)
Added is_right_cancel_mul_zero.to_is_cancel_mul_zeroView on Github →