mathlib3 documentation

core / init.data.int.bitwise

def int.div2  :
Equations
@[simp]
def int.bodd  :
Equations
def int.bit (b : bool) :
Equations
def int.nat_bitwise (f : bool bool bool) (m n : ) :
Equations
Equations
def int.lnot  :
Equations
def int.lor  :
Equations
Equations
Equations
Equations
def int.shiftr (m n : ) :
Equations