Nuprl Definition : term-to-pathtype
<>a == <>(a)
Definitions occuring in Statement :
term-to-path: <>(a)
Definitions occuring in definition :
term-to-path: <>(a)
FDL editor aliases :
term-to-pathtype
Latex:
<>a == <>(a)
Date html generated:
2016_06_16-PM-01_48_37
Last ObjectModification:
2016_06_06-PM-01_33_31
Theory : cubical!type!theory
Home
Index