pInTransit(P.M[P]) == 
Id Id pCom(P.M[P])
Definitions :
int: ,
product: x:A B[x],
Id: Id,
pCom: pCom(P.M[P])
FDL editor aliases :
pInTransit
pInTransit(P.M[P]) == \mBbbZ{} \mtimes{} Id \mtimes{} Id \mtimes{} pCom(P.M[P])
Date html generated:
2010_08_27-PM-03_50_30
Last ObjectModification:
2010_04_28-PM-05_29_18
Home
Index