WhoCites Definitions int 2 Sections StandardLIB Doc

Who Cites div floor?
div_floor Def a n == if 0aa n ;((-a) rem n)=0-((-a) n) else -((-a) n)+-1 fi
Thm* a:, n:. (a n)
modulus Def a mod n == if 0aa rem n ;((-a) rem n)=00 else n-((-a) rem n) fi
Thm* a:, n:. (a mod n)
nat_plus Def == {i:| 0 < i }
Thm* Type
eq_int Def i=j == if i=j true ; false fi
Thm* i,j:. i=j
le_int Def ij == j < i
Thm* i,j:. ij
lt_int Def i < j == if i < j true ; false fi
Thm* i,j:. i < j
bnot Def b == if b false else true fi
Thm* b:. b

About:
boolbfalsebtrueifthenelseintnatural_numberminusadd
subtractdivideremainderint_eqless
less_thansetuniversememberall!abstraction

WhoCites Definitions int 2 Sections StandardLIB Doc