Nuprl Definition : cubical-it

* ==  discr(⋅)


Definitions occuring in Statement :  discrete-cubical-term: discr(t),  it: ⋅
Definitions occuring in definition :  discrete-cubical-term: discr(t),  it: ⋅
FDL editor aliases :  cubical-it
Latex:
*  ==    discr(\mcdot{})


Date html generated: 2017_02_21-AM-10_37_44
Last ObjectModification: 2017_01_27-AM-00_24_35

Theory : cubical!type!theory


Home Index