Commit 2024-01-04 03:16 6117aba6

View on Github →

chore: bump dependencies (#9424)

Estimated changes

Modified Mathlib/Data/BitVec/Lemmas.lean

Modified Mathlib/Data/Nat/Basic.lean

deleted theorem Nat.dvd_one

Modified lake-manifest.json