Commit 2023-12-11 03:29 193e1568

View on Github →

chore: bump std to 604b407, catching up to leanprover/std4#361 (#8959)

Estimated changes

Modified Mathlib/Data/Int/Basic.lean

deleted theorem Int.sign_negSucc

Modified lake-manifest.json