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:
2016_05_17-PM-02_47_00
Last ObjectModification:
2014_11_26-AM-11_21_48
Theory : paxos!synod
Home
Index