Nuprl Definition : cmp-le
cmp-le(cmp;x;y) == 0 ≤ (cmp x y)
Definitions occuring in Statement :
le: A ≤ B,
apply: f a,
natural_number: $n
Definitions occuring in definition :
le: A ≤ B,
natural_number: $n,
apply: f a
FDL editor aliases :
cmp-le
Latex:
cmp-le(cmp;x;y) == 0 \mleq{} (cmp x y)
Date html generated:
2016_05_14-PM-02_37_41
Last ObjectModification:
2015_09_22-PM-05_56_55
Theory : list_1
Home
Index