Commit 2022-06-25 21:05 c46f8b6a

View on Github →

chore: bump to 2022-06-25 (#294)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

deleted theorem List.mem_filterAux

Modified Mathlib/Init/Logic.lean

added theorem Bool.eq_false_or_eq_true

Modified lean-toolchain