Commit 2021-08-24 10:34 5c4f6b75

View on Github →

update lean version to nightly-2021-08-24 (#42)

  • update lean version
  • perhaps cleaner
  • Update Mathlib/Data/Nat/Basic.lean
  • bump to nightly-2021-08-24, since I need it
  • update Mathlib.lean?

Estimated changes

deleted theorem not_not_intro