Nuprl Definition : cube-complex-space
|cc| == {p:ℝ^k| in-cube-complex(k;p;cc)}
Definitions occuring in Statement :
in-cube-complex: in-cube-complex(k;p;cc),
real-vec: ℝ^n,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
real-vec: ℝ^n,
in-cube-complex: in-cube-complex(k;p;cc)
FDL editor aliases :
cube-complex-space
Latex:
|cc| == \{p:\mBbbR{}\^{}k| in-cube-complex(k;p;cc)\}
Date html generated:
2019_10_30-AM-11_31_52
Last ObjectModification:
2019_09_30-AM-11_23_42
Theory : real!vectors
Home
Index