Theorem Int.sign_negSucc

Modification history

2023-12-11 03:29

Mathlib/Data/Int/Basic.lean

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

Deleted Int.sign_negSucc View on Github →

2023-03-29 01:18

Mathlib/Data/Int/Basic.lean

feat: port IMO 2006 Q5 helper results (#3136) …

Added Int.sign_negSucc View on Github →