Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.bodd_neg

Modification history

2022-11-05 21:51

src/data/int/basic.lean

chore(data/int/basic): split file (#17342) …

Modified int.bodd_neg View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.bodd_neg View on Github →