Theorem add_mul

Modification history

2022-11-20 21:39
Mathlib/Algebra/Ring/Basic.lean
feat: port Algebra.Ring.Defs (#655) …
Deleted add_mulView on Github →
2022-02-10 13:39
Mathlib/Algebra/Ring/Basic.lean
refactor: make ring more like mathlib (#190)
Modified add_mulView on Github →
2021-10-15 13:06
Mathlib/Algebra/Ring/Basic.lean
fix: remove zero diamond (#72)
Modified add_mulView on Github →
2021-08-16 20:42
Mathlib/Algebra/Ring/Basic.lean
ring tactic (#33) …
Added add_mulView on Github →