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