Commit 2021-08-26 10:28 7ac56984

View on Github →

update lean version (#46)

Estimated changes

Modified Mathlib/Data/List/Basic.lean

Modified Mathlib/Init/Algebra/Functions.lean

Modified Mathlib/Init/Algebra/Order.lean

Modified Mathlib/Init/Logic.lean

deleted theorem Or.elim

deleted theorem Or.elim_on

Modified Mathlib/Logic/Basic.lean

Modified leanpkg.toml