Nuprl Definition : fill-path

fill-path(Gamma;A;cA;x;y;z) == <>(fillpath(Gamma;A;cA;x;y;z))

Definitions occuring in Statement : fillpath: fillpath(Gamma;A;cA;x;y;z), term-to-path: <>(a)
Definitions occuring in definition : term-to-path: <>(a), fillpath: fillpath(Gamma;A;cA;x;y;z)
FDL editor aliases : fill-path

Latex:
fill-path(Gamma;A;cA;x;y;z) == <>(fillpath(Gamma;A;cA;x;y;z)) Date html generated: 2016_07_08-PM-07_18_08 Last ObjectModification: 2016_06_24-AM-11_11_37 Theory : cubical!type!theory Home Index