process-Input(lp.M[lp]) == M[m:
lvprocess(lp.M[lp];m)]
Definitions :
product: x:A B[x],
nat: ,
lvprocess: lvprocess(lp.M[lp];n)
FDL editor aliases :
process-Input
process-Input(lp.M[lp]) == M[m:\mBbbN{} \mtimes{} lvprocess(lp.M[lp];m)]
Date html generated:
2010_08_27-PM-08_33_11
Last ObjectModification:
2010_04_20-PM-04_28_58
Home
Index