Commit 2021-11-30 09:44 8fe68084

View on Github →

chore: bump to Lean 4 nightly 2021-11-30 (#110)

Estimated changes

Modified Mathlib/Data/Char.lean

modified theorem Char.utf8Size_pos

Modified Mathlib/Data/List/Basic.lean

modified theorem List.eq_of_mem_singleton

deleted theorem decidable.List.eq_or_ne_mem_of_mem

Modified lean-toolchain