Nuprl Definition : csm-path-ap-q
csm-path-ap-q(H;G;s;t) == ((t)p)s+ @ q
Definitions occuring in Statement :
cubical-path-app: pth @ r,
interval-type: 𝕀,
csm+: tau+,
cc-snd: q,
cc-fst: p,
csm-ap-term: (t)s
Definitions occuring in definition :
cubical-path-app: pth @ r,
csm+: tau+,
interval-type: 𝕀,
csm-ap-term: (t)s,
cc-fst: p,
cc-snd: q
FDL editor aliases :
csm-path-ap-q
Latex:
csm-path-ap-q(H;G;s;t) == ((t)p)s+ @ q
Date html generated:
2016_06_16-PM-02_33_15
Last ObjectModification:
2016_06_06-PM-06_27_31
Theory : cubical!type!theory
Home
Index