Nuprl Definition : cubical-type-at

A(a) ==  (fst(A)) I a


Wellformedness Lemmas :  cubical-type-at_wf
Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  apply: f a,  pi1: fst(t)
FDL editor aliases :  cubical-type-at cubical-type-at
Latex:
A(a)  ==    (fst(A))  I  a


Date html generated: 2016_06_16-PM-05_38_44
Last ObjectModification: 2015_09_23-AM-09_30_13

Theory : cubical!sets


Home Index