Nuprl Definition : typed-cc-fst
tp{i:l} == p
Definitions occuring in Statement :
cc-fst: p
Definitions occuring in definition :
cc-fst: p
FDL editor aliases :
typed-cc-fst
Latex:
tp\{i:l\} == p
Date html generated:
2016_07_08-PM-06_07_14
Last ObjectModification:
2016_06_26-PM-10_53_26
Theory : cubical!type!theory
Home
Index