Commit 2021-08-16 10:12 d903df0a

View on Github →

Update Lean version.

Estimated changes

Modified Mathlib/Data/Int/Basic.lean

modified theorem Int.to_nat_sub

Modified Mathlib/Tactic/Block.lean

Modified Mathlib/Tactic/NoMatch.lean

Modified leanpkg.toml