Nuprl Definition : cc-adjoin-cube

(v;u) ==  <v, u>


Wellformedness Lemmas :  cc-adjoin-cube_wf
Definitions occuring in Statement :  pair: <a, b>
Definitions occuring in definition :  pair: <a, b>
FDL editor aliases :  cc-adjoin-cube cc-adjoin-cube
Latex:
(v;u)  ==    <v,  u>


Date html generated: 2016_06_16-PM-05_40_49
Last ObjectModification: 2015_09_23-AM-09_30_27

Theory : cubical!sets


Home Index