Nuprl Definition : csm+
tau+ == (tau o p;q)
Definitions occuring in Statement :
csm-adjoin: (s;u),
cc-snd: q,
cc-fst: p,
cube-context-adjoin: X.A,
csm-ap-type: (AF)s,
csm-comp: G o F
Definitions occuring in definition :
csm-adjoin: (s;u),
csm-comp: G o F,
cube-context-adjoin: X.A,
csm-ap-type: (AF)s,
cc-fst: p,
cc-snd: q
FDL editor aliases :
csm+
Latex:
tau+ == (tau o p;q)
Date html generated:
2016_05_18-PM-01_44_49
Last ObjectModification:
2016_03_16-AM-11_59_30
Theory : cubical!type!theory
Home
Index