Nuprl Definition : rccp-compact

rccp-compact(k;K) ==  TERMOF{rat-cube-complex-polyhedron-compact:o, 1:l} k K


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  rat-cube-complex-polyhedron-compact,  apply: f a
TermOfs occuring in Definition :  rat-cube-complex-polyhedron-compact
FDL editor aliases :  rccp-compact
Latex:
rccp-compact(k;K)  ==    TERMOF\{rat-cube-complex-polyhedron-compact:o,  1:l\}  k  K


Date html generated: 2019_10_31-AM-06_04_07
Last ObjectModification: 2019_10_30-PM-04_15_52

Theory : real!vectors


Home Index