Theorem Int.neg_negSucc

Modification history

2022-12-18 21:17
Mathlib/Init/Data/Int/Basic.lean
chore: update lean4/std4 (#1096)
Deleted Int.neg_negSuccView on Github →
2022-11-13 23:39
Mathlib/Init/Data/Int/Basic.lean
feat: align init.data.int.{basic, order} (#583)
Added Int.neg_negSuccView on Github →