Nuprl Definition : mk-ctt-term-mng

mk-ctt-term-mng(lvl; T; t) ==  <lvl, T, t>


Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  mk-ctt-term-mng mk-ctt-term-mng
Latex:
mk-ctt-term-mng(lvl;  T;  t)  ==    <lvl,  T,  t>


Date html generated: 2020_05_20-PM-07_54_06
Last ObjectModification: 2020_05_05-AM-11_41_30

Theory : cubical!type!theory


Home Index