mathlib documentation

core / init.data.int.bitwise

def int.div2  :

Equations
@[simp]
def int.bodd  :
bool

Equations
def int.bit (b : bool) :

Equations
def int.test_bit  :
bool

Equations
def int.nat_bitwise (f : boolboolbool) (m n : ) :

Equations
def int.bitwise (f : 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 (m n : ) :

Equations