Nuprl Definition : pv11_p1_same_proposal
pv11_p1_same_proposal(Cmd) == λzc,z. let slt1,cmd1 = zc in let slt2,cmd2 = z in (slt1 =z slt2)
Definitions occuring in Statement :
eq_int: (i =z j),
lambda: λx.A[x],
spread: spread def
FDL editor aliases :
pv11_p1_same_proposal
Latex:
pv11\_p1\_same\_proposal(Cmd) == \mlambda{}zc,z. let slt1,cmd1 = zc in let slt2,cmd2 = z in (slt1 =\msubz{} slt2)
Date html generated:
2015_07_23-PM-04_11_22
Last ObjectModification:
2014_11_26-AM-11_22_52
Home
Index