Commit 2022-02-10 13:39 0b0c07f4

View on Github →

refactor: make ring more like mathlib (#190)

Estimated changes

Modified Mathlib/Algebra/Group/Defs.lean

Modified Mathlib/Algebra/GroupWithZero/Defs.lean

Modified Mathlib/Algebra/Ring/Basic.lean

modified theorem add_mul

modified theorem mul_add

Modified Mathlib/Data/Fin/Basic.lean

Modified Mathlib/Data/UInt.lean