Commit 2022-02-14 13:50 9ea62cd8

View on Github →

chore: bump to nightly-2022-02-13 (#194)

Estimated changes

Modified Mathlib/Data/Fin/Basic.lean

Modified Mathlib/Data/List/Basic.lean

modified theorem List.eq_or_ne_mem_of_mem

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

Modified lean-toolchain