Theorem mul_add
Modification history
2022-11-20 21:39
Mathlib/Algebra/Ring/Basic.lean
feat: port Algebra.Ring.Defs (#655) …
Deleted mul_addView on Github →2022-02-10 13:39
Mathlib/Algebra/Ring/Basic.lean
refactor: make ring more like mathlib (#190)
Modified mul_addView on Github →