mathlib documentation

core.init.data.int.bitwise

def int.div2  :

Equations
@[simp]
def int.bodd  :
bool

Equations
def int.bit  :
bool

Equations
def int.test_bit  :
bool

Equations
def int.nat_bitwise  :
(boolboolbool)

Equations
def int.bitwise  :
(boolboolbool)

Equations
def int.lnot  :

Equations
def int.lor  :

Equations
def int.land  :

Equations
def int.ldiff  :

Equations
def int.lxor  :

Equations
def int.shiftr  :

Equations