Nuprl Definition : ctt-type-comp

comp(T) ==  snd(snd(T))


Definitions occuring in Statement :  pi2: snd(t)
Definitions occuring in definition :  pi2: snd(t)
FDL editor aliases :  cttyc cttyc
Latex:
comp(T)  ==    snd(snd(T))


Date html generated: 2020_05_20-PM-07_58_02
Last ObjectModification: 2020_05_07-AM-11_33_24

Theory : cubical!type!theory


Home Index