Nuprl Definition : mobj
mobj(L) == i:mKinds × mtype(L;i)
Definitions occuring in Statement :
mtype: mtype(L;i),
mkinds: mKinds,
product: x:A × B[x]
Definitions occuring in definition :
product: x:A × B[x],
mkinds: mKinds,
mtype: mtype(L;i)
FDL editor aliases :
mobj
Latex:
mobj(L) == i:mKinds \mtimes{} mtype(L;i)
Date html generated:
2019_06_20-PM-02_15_11
Last ObjectModification:
2019_02_25-PM-02_23_23
Theory : tuples
Home
Index