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