Nuprl Definition : face-type

𝔽 ==  (𝔽)


Definitions occuring in Statement :  constant-cubical-type: (X),  face-presheaf: 𝔽
Definitions occuring in definition :  constant-cubical-type: (X),  face-presheaf: 𝔽
FDL editor aliases :  face-type
Latex:
\mBbbF{}  ==    (\mBbbF{})


Date html generated: 2016_05_19-AM-08_24_12
Last ObjectModification: 2016_03_03-PM-03_21_33

Theory : cubical!type!theory


Home Index