Nuprl Definition : comp_path
pth_a_b + pth_b_c == pth_a_b + pth_b_c
Definitions occuring in Statement :
comp-path: pth_a_b + pth_b_c,
cubical-path-app: pth @ r,
interval-0: 0(𝕀)
Definitions occuring in definition :
comp-path: pth_a_b + pth_b_c,
cubical-path-app: pth @ r,
interval-0: 0(𝕀)
FDL editor aliases :
comp_path
Latex:
pth\_a$_{b}$ + pth\_b$_{c}$ == pth\_a$_{b}\mbackslash{}ff2\000C4 + pth\_b$_{c}$
Date html generated:
2018_05_23-AM-10_47_40
Last ObjectModification:
2017_10_30-PM-06_15_22
Theory : cubical!type!theory
Home
Index