Nuprl Definition : trivial-cube-set

() ==  <λJ.Unit, λJ,K,f,x. ⋅>



Wellformedness Lemmas :  trivial-cube-set_wf
Definitions occuring in Statement :  it: unit: Unit lambda: λx.A[x] pair: <a, b>
Definitions occuring in definition :  pair: <a, b> unit: Unit lambda: λx.A[x] it:
FDL editor aliases :  trivial-cube-set trivial-cube-set

Latex:
()  ==    <\mlambda{}J.Unit,  \mlambda{}J,K,f,x.  \mcdot{}>



Date html generated: 2016_06_16-PM-05_38_13
Last ObjectModification: 2015_09_23-AM-09_30_05

Theory : cubical!sets


Home Index