Commit 2022-01-24 13:16 3a835b7c

View on Github →

chore: bump to nightly-2022-01-23 (#164)

Estimated changes

Modified Mathlib/Algebra/Group/Basic.lean

deleted theorem mul_left_comm

deleted theorem mul_right_comm

Modified Mathlib/Algebra/Group/Defs.lean

deleted theorem mul_assoc

deleted theorem mul_comm

added theorem mul_left_comm

modified theorem mul_pow

added theorem mul_right_comm

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Init/Data/Int/Basic.lean

Modified Mathlib/Logic/Basic.lean

Modified Mathlib/Tactic/Ring.lean

Modified lean-toolchain