Nuprl Definition : fun-connected
y is f*(x) == ∃L:T List. y=f*(x) via L
Definitions occuring in Statement :
fun-path: y=f*(x) via L,
list: T List,
exists: ∃x:A. B[x]
Definitions occuring in definition :
exists: ∃x:A. B[x],
list: T 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