Nuprl Definition : mData

mData ==  T:Type × T


Definitions occuring in Statement :  product: x:A × B[x],  universe: Type
FDL editor aliases :  mData
Latex:
mData  ==    T:Type  \mtimes{}  T


Date html generated: 2015_07_21-PM-04_47_59
Last ObjectModification: 2013_02_15-PM-11_39_50

Home Index