Nuprl Definition : rat-complex-subdiv
(K)' == concat(map(λc.half-cubes-of(k;c);K))
Definitions occuring in Statement :
half-cubes-of: half-cubes-of(k;c),
concat: concat(ll),
map: map(f;as),
lambda: λx.A[x]
Definitions occuring in definition :
half-cubes-of: half-cubes-of(k;c),
lambda: λx.A[x],
map: map(f;as),
concat: concat(ll)
FDL editor aliases :
rc-subdiv
rc-subdiv
Latex:
(K)' == concat(map(\mlambda{}c.half-cubes-of(k;c);K))
Date html generated:
2019_10_29-AM-07_59_13
Last ObjectModification:
2019_10_21-PM-03_03_15
Theory : rationals
Home
Index