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:
2016_05_17-AM-08_49_42
Last ObjectModification:
2013_02_15-PM-11_39_50
Theory : messages
Home
Index