Nuprl Definition : ctt-type-level

level(T) ==  fst(T)


Definitions occuring in Statement :  pi1: fst(t)
Definitions occuring in definition :  pi1: fst(t)
FDL editor aliases :  cttyl cttyl
Latex:
level(T)  ==    fst(T)


Date html generated: 2020_05_20-PM-07_56_43
Last ObjectModification: 2020_05_05-PM-05_18_12

Theory : cubical!type!theory


Home Index