Nuprl Definition : pExt
pExt(P.M[P]) == LabeledDAG(Id × pCom(P.M[P]))
Definitions occuring in Statement :
pCom: pCom(P.M[P]),
ldag: LabeledDAG(T),
Id: Id,
product: x:A × B[x]
FDL editor aliases :
pExt
Latex:
pExt(P.M[P]) == LabeledDAG(Id \mtimes{} pCom(P.M[P]))
Date html generated:
2015_07_23-AM-11_07_11
Last ObjectModification:
2012_02_25-PM-03_37_47
Home
Index