Nuprl Definition : extend-A-open-box

extend-A-open-box(bx;f1;f2) ==  [f1; [f2 / bx]]


Definitions occuring in Statement :  cons: [a / b]
Definitions occuring in definition :  cons: [a / b]
FDL editor aliases :  extend-A-open-box
Latex:
extend-A-open-box(bx;f1;f2)  ==    [f1;  [f2  /  bx]]


Date html generated: 2016_06_16-PM-05_56_36
Last ObjectModification: 2015_09_23-AM-09_31_50

Theory : cubical!sets


Home Index