Commit 2022-05-03 08:44 d8cecf69

View on Github →

chore: bump to nightly-2022-05-03 (#268)

Estimated changes

Modified Mathlib/Data/BinaryHeap.lean

Modified Mathlib/Data/Fin/Basic.lean

modified theorem Fin.ofNat'_succ

Modified lean-toolchain