Nuprl Definition : sub-cube-complex
sub-cube-complex(k;L) == concat(map(λc.sub-cubes(k; c);L))
Definitions occuring in Statement :
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x]
Definitions occuring in definition :
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x]
FDL editor aliases :
sub-cube-complex
Latex:
sub-cube-complex(k;L) == concat(map(\mlambda{}c.sub-cubes(k; c);L))
Date html generated:
2019_10_30-AM-11_32_11
Last ObjectModification:
2019_09_27-PM-02_02_14
Theory : real!vectors
Home
Index