lvProcess(lp.M[lp]) == 
n:
.lvprocess(lp.M[lp];n)
Definitions :
tunion: x:A.B[x],
nat: ,
lvprocess: lvprocess(lp.M[lp];n)
FDL editor aliases :
lvProcess
lvProcess(lp.M[lp]) == \mcup{}n:\mBbbN{}.lvprocess(lp.M[lp];n)
Date html generated:
2010_08_27-PM-08_32_46
Last ObjectModification:
2010_04_20-PM-04_17_37
Home
Index