process-input'(lp.M[lp];n) == M[m:
n 
lvprocess(lp.M[lp];m)]
Definitions :
product: x:A B[x],
int_seg: {i..j
},
natural_number: $n,
lvprocess: lvprocess(lp.M[lp];n)
FDL editor aliases :
process-input'
process-input'(lp.M[lp];n) == M[m:\mBbbN{}n \mtimes{} lvprocess(lp.M[lp];m)]
Date html generated:
2010_08_27-PM-08_33_00
Last ObjectModification:
2010_04_20-PM-04_19_31
Home
Index