Nuprl Definition : cut-of

cut(X;f;s) ==  fst((TERMOF{es-cut-exists:o, 1:l, i:l} es X f s))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
FDL editor aliases :  cut-of
Latex:
cut(X;f;s)  ==    fst((TERMOF\{es-cut-exists:o,  1:l,  i:l\}  es  X  f  s))


Date html generated: 2015_07_21-PM-03_57_33
Last ObjectModification: 2012_02_25-PM-02_55_22

Home Index