Nuprl Definition : I

Nuprl Definition : I_cube

A(I) == A I

Definitions occuring in Statement : functor-ob: ob(F), apply: f a
Definitions occuring in definition : apply: f a, functor-ob: ob(F)
FDL editor aliases : I_cube

Latex:
A(I) == A I Date html generated: 2018_05_23-AM-08_31_38 Last ObjectModification: 2018_02_26-PM-05_33_45 Theory : cubical!type!theory Home Index