Nuprl Definition : fills-A-open-box

fills-A-open-box(X;A;I;alpha;bx;cube) ==  fills-A-faces(X;A;I;alpha;cube;bx)


Definitions occuring in Statement :  fills-A-faces: fills-A-faces(X;A;I;alpha;bx;L)
Definitions occuring in definition :  fills-A-faces: fills-A-faces(X;A;I;alpha;bx;L)
FDL editor aliases :  fills-A-open-box
Latex:
fills-A-open-box(X;A;I;alpha;bx;cube)  ==    fills-A-faces(X;A;I;alpha;cube;bx)


Date html generated: 2016_06_16-PM-06_43_01
Last ObjectModification: 2015_09_23-AM-09_32_02

Theory : cubical!sets


Home Index