Def Int.succ

Modification history

2024-01-06 09:51

Mathlib/Data/Int/Basic.lean

refactor: Split off basic `Int` file (#9443) …

Modified Int.succ View on Github →

2022-11-14 10:32

Mathlib/Data/Int/Basic.lean

feat: port data.int.basic (#584) …

Added Int.succ View on Github →