Nuprl Definition : ble
ble(n;m) == if n=m then tt else if (n) < (m) then tt else ff
Definitions occuring in Statement :
bfalse: ff,
btrue: tt,
less: if (a) < (b) then c else d,
int_eq: if a=b then c else d
Definitions occuring in definition :
int_eq: if a=b then c else d,
less: if (a) < (b) then c else d,
btrue: tt,
bfalse: ff
FDL editor aliases :
ble
Latex:
ble(n;m) == if n=m then tt else if (n) < (m) then tt else ff
Date html generated:
2016_05_14-PM-09_54_57
Last ObjectModification:
2016_01_15-AM-10_02_26
Theory : continuity
Home
Index