sm-command(Op) == Id 
Op
Definitions occuring in Statement :
Id: Id,
product: x:A B[x],
int:
Definitions :
Id: Id,
product: x:A B[x],
int:
FDL editor aliases :
sm-command
sm-command(Op) == Id \mtimes{} \mBbbZ{} \mtimes{} Op
Date html generated:
2011_08_17-PM-07_54_57
Last ObjectModification:
2011_01_24-PM-04_52_45
Home
Index