Commit 2022-01-12 11:50 089ae0a6

View on Github →

chore: bump to nightly-2022-01-12 (#159)

Estimated changes

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

added theorem List.get_cons_succ

added theorem List.get_cons_zero

Modified Mathlib/Mathport/Syntax.lean

Modified Mathlib/Tactic/Lint/Frontend.lean

Modified Mathlib/Tactic/Lint/Simp.lean

added def Mathlib.Tactic.Lint.isEqnLemma?

Modified lean-toolchain