Nuprl Definition : dMpair
dMpair(i;j) == {{inl i,inl j}}
Definitions occuring in Statement :
fset-pair: {a,b},
fset-singleton: {x},
inl: inl x
Definitions occuring in definition :
fset-singleton: {x},
fset-pair: {a,b},
inl: inl x
FDL editor aliases :
dMpair
Latex:
dMpair(i;j) == \{\{inl i,inl j\}\}
Date html generated:
2016_05_18-AM-11_57_13
Last ObjectModification:
2015_10_26-PM-01_13_23
Theory : cubical!type!theory
Home
Index