Commit 2022-02-21 18:07 e5b2b217

View on Github →

chore: bump to nightly-2022-02-21 (#203)

Estimated changes

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

Modified Mathlib/Init/Data/List/Lemmas.lean

deleted theorem List.append_eq_append

Modified Mathlib/Init/Data/Nat/Lemmas.lean

deleted theorem Nat.mul_pred_left

deleted theorem Nat.mul_pred_right

deleted theorem Nat.pred_succ

deleted theorem Nat.pred_zero

Modified lean-toolchain