Nuprl Definition : transprt-const
transprt-const(G;cA;a) == transprt(G;(cA)p;a)
Definitions occuring in Statement :
transprt: transprt(G;cA;a0),
csm-comp-structure: (cA)tau,
interval-type: 𝕀,
cc-fst: p,
cube-context-adjoin: X.A
Definitions occuring in definition :
cc-fst: p,
interval-type: 𝕀,
cube-context-adjoin: X.A,
csm-comp-structure: (cA)tau,
transprt: transprt(G;cA;a0)
FDL editor aliases :
transprt-const
Latex:
transprt-const(G;cA;a) == transprt(G;(cA)p;a)
Date html generated:
2017_01_10-AM-09_46_08
Last ObjectModification:
2017_01_05-AM-11_17_56
Theory : cubical!type!theory
Home
Index