Nuprl Definition : cubical-unit

1 ==  discr(Unit)


Definitions occuring in Statement :  discrete-cubical-type: discr(T),  unit: Unit
Definitions occuring in definition :  discrete-cubical-type: discr(T),  unit: Unit
FDL editor aliases :  cubical-unit
Latex:
1  ==    discr(Unit)


Date html generated: 2017_02_21-AM-10_37_22
Last ObjectModification: 2017_01_27-AM-00_22_14

Theory : cubical!type!theory


Home Index