Commit 2021-05-31 22:35 6542db3a

View on Github →

chore: update to current Lean

Estimated changes

Modified Mathlib.lean

deleted theorem foo

Modified Mathlib/Algebra/Ring/Basic.lean

Modified Mathlib/Data/Array/Basic.lean

Modified Mathlib/Data/Nat/Basic.lean

Modified Mathlib/Tactic/NormNum.lean

Modified leanpkg.toml