Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.bit1_val

Modification history

2022-11-05 21:51

src/data/int/basic.lean

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

Modified int.bit1_val View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.bit1_val View on Github →