Nuprl Definition : pv11_p1_is_bnum
pv11_p1_is_bnum() == λbnum.isl(bnum)
Definitions occuring in Statement :
isl: isl(x),
lambda: λx.A[x]
FDL editor aliases :
pv11_p1_is_bnum
Latex:
pv11\_p1\_is\_bnum() == \mlambda{}bnum.isl(bnum)
Date html generated:
2015_07_23-PM-04_10_47
Last ObjectModification:
2014_11_26-AM-11_21_48
Home
Index