Nuprl Definition : half-cubes-of

half-cubes-of(k;c) ==  half-cubes(k) c


Definitions occuring in Statement :  half-cubes: half-cubes(k),  apply: f a
Definitions occuring in definition :  half-cubes: half-cubes(k),  apply: f a
FDL editor aliases :  half-cubes-of
Latex:
half-cubes-of(k;c)  ==    half-cubes(k)  c


Date html generated: 2019_10_29-AM-07_53_21
Last ObjectModification: 2019_10_21-PM-03_00_03

Theory : rationals


Home Index