Nuprl Definition : fun-connected

is f*(x) ==  ∃L:T List. y=f*(x) via L



Definitions occuring in Statement :  fun-path: y=f*(x) via L list: List exists: x:A. B[x]
Definitions occuring in definition :  exists: x:A. B[x] list: List fun-path: y=f*(x) via L
FDL editor aliases :  fun-connected

Latex:
y  is  f*(x)  ==    \mexists{}L:T  List.  y=f*(x)  via  L



Date html generated: 2016_05_15-PM-04_57_51
Last ObjectModification: 2015_09_23-AM-07_51_07

Theory : general


Home Index