Nuprl Definition : equiv-path

EquivPath(G;A;B;f) == <>(equiv_path(G;A;B;f))

Definitions occuring in Statement : equiv_path: equiv_path(G;A;B;f), term-to-path: <>(a)
Definitions occuring in definition : equiv_path: equiv_path(G;A;B;f), term-to-path: <>(a)
FDL editor aliases : equiv-path

Latex:
EquivPath(G;A;B;f) == <>(equiv\_path(G;A;B;f)) Date html generated: 2017_01_10-PM-00_22_13 Last ObjectModification: 2017_01_01-PM-10_42_34 Theory : cubical!type!theory Home Index