Theorem mul_sub_right_distrib

Modification history

2022-11-20 21:39
Mathlib/Algebra/Ring/Basic.lean
feat: port Algebra.Ring.Defs (#655) …
Modified mul_sub_right_distribView on Github →
2022-10-27 04:20
Mathlib/Algebra/Ring/Basic.lean
feat: integer operations in `norm_num` (#507) …
Added mul_sub_right_distribView on Github →