Nuprl Definition : cubical-path-app
pth @ r == pth @ r
Definitions occuring in Statement :
cubicalpath-app: pth @ r
Definitions occuring in definition :
cubicalpath-app: pth @ r
FDL editor aliases :
cubical-path-app
Latex:
pth @ r == pth @ r
Date html generated:
2016_06_16-PM-01_44_56
Last ObjectModification:
2016_06_06-PM-00_42_10
Theory : cubical!type!theory
Home
Index