Nuprl Definition : compact-mc

compact-mc{i:l}(d;c;f) ==  TERMOF{compact-metric-to-real-continuity:o, 1:l, i:l} d c f


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  compact-metric-to-real-continuity,  apply: f a
TermOfs occuring in Definition :  compact-metric-to-real-continuity
FDL editor aliases :  compact-mc
Latex:
compact-mc\{i:l\}(d;c;f)  ==    TERMOF\{compact-metric-to-real-continuity:o,  1:l,  i:l\}  d  c  f


Date html generated: 2019_10_30-AM-07_07_05
Last ObjectModification: 2019_10_25-PM-02_25_09

Theory : reals


Home Index