Nuprl Definition : fills-open_box
fills-open_box(X;I;bx;cube) == fills-faces(X;I;cube;bx)
Definitions occuring in Statement :
fills-faces: fills-faces(X;I;bx;L)
Definitions occuring in definition :
fills-faces: fills-faces(X;I;bx;L)
FDL editor aliases :
fills-open_box
Latex:
fills-open\_box(X;I;bx;cube) == fills-faces(X;I;cube;bx)
Date html generated:
2016_06_16-PM-06_42_52
Last ObjectModification:
2015_09_23-AM-09_31_59
Theory : cubical!sets
Home
Index