Nuprl Definition : typed-cc-snd
tq == q
Definitions occuring in Statement :
cc-snd: q
Definitions occuring in definition :
cc-snd: q
FDL editor aliases :
typed-cc-snd
Latex:
tq == q
Date html generated:
2016_07_08-PM-06_07_28
Last ObjectModification:
2016_06_26-PM-02_36_27
Theory : cubical!type!theory
Home
Index