Nuprl Definition : sp-join
f ∨ g == λn.((f n) ∨b(g n))
Definitions occuring in Statement :
bor: p ∨bq
,
apply: f a
,
lambda: λx.A[x]
Definitions occuring in definition :
lambda: λx.A[x]
,
bor: p ∨bq
,
apply: f a
FDL editor aliases :
sp-join
Latex:
f \mvee{} g == \mlambda{}n.((f n) \mvee{}\msubb{}(g n))
Date html generated:
2019_10_31-AM-06_35_43
Last ObjectModification:
2015_09_23-AM-09_28_55
Theory : synthetic!topology
Home
Index