Nuprl Definition : min_w_ord
min_w_ord(t1;t2;f) == if f[t1] <z f[t2] then t1 else t2 fi
Definitions occuring in Statement :
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
so_apply: x[s]
FDL editor aliases :
min_w_ord
Latex:
min\_w\_ord(t1;t2;f) == if f[t1] <z f[t2] then t1 else t2 fi
Date html generated:
2018_05_22-PM-09_39_46
Last ObjectModification:
2012_06_25-PM-07_32_45
Theory : labeled!trees
Home
Index