Nuprl Definition : find-first

find-first(P;L) ==  TERMOF{can-find-first-ext:o, 1:l, 1:l} L P


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  can-find-first-ext
FDL editor aliases :  find-first
Latex:
find-first(P;L)  ==    TERMOF\{can-find-first-ext:o,  1:l,  1:l\}  L  P


Date html generated: 2016_05_15-PM-03_39_13
Last ObjectModification: 2015_09_23-AM-07_44_28

Theory : general


Home Index