pExt(P.M[P]) == LabeledDAG(Id 
pCom(P.M[P]))
Definitions :
ldag: LabeledDAG(T),
product: x:A B[x],
Id: Id,
pCom: pCom(P.M[P])
FDL editor aliases :
pExt
pExt(P.M[P]) == LabeledDAG(Id \mtimes{} pCom(P.M[P]))
Date html generated:
2010_08_27-PM-03_49_15
Last ObjectModification:
2010_05_28-PM-12_05_22
Home
Index