Nuprl Definition : fpf-cap
f(x)?z == if x ∈ dom(f) then f(x) else z fi
Definitions occuring in Statement :
fpf-ap: f(x),
fpf-dom: x ∈ dom(f),
ifthenelse: if b then t else f fi
FDL editor aliases :
fpf-cap
f(x)?z == if x \mmember{} dom(f) then f(x) else z fi
Date html generated:
2015_07_17-AM-09_16_24
Last ObjectModification:
2012_02_25-AM-11_06_14
Home
Index