Mathlib v3 is deprecated. Go to Mathlib v4

Theorem int.div2_bit

Modification history

2022-11-05 21:51

src/data/int/basic.lean

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

Modified int.div2_bit View on Github →

2017-07-24 00:42

data/int/basic.lean

refactor(*): move in some nat lemmas …

Added int.div2_bit View on Github →