Nuprl Definition : mk_ctt-type-mng
cttType(levl= lvltype= Tcomp= cT) == <lvl, T, cT>
Definitions occuring in Statement :
pair: <a, b>
Definitions occuring in definition :
pair: <a, b>
FDL editor aliases :
mk_ctt-type-mng
mk_ctt-type-mng
mk_ctt-type-mng
mk_ctt-type-mng
Latex:
cttType(levl= lvltype= Tcomp= cT) == <lvl, T, cT>
Date html generated:
2020_05_20-PM-07_58_41
Last ObjectModification:
2020_05_05-PM-00_00_33
Theory : cubical!type!theory
Home
Index