theorem :: MESFUN16:35

for f being PartFunc of [:RNS_Real,RNS_Real:],RNS_Real
for g being PartFunc of [:REAL,REAL:],REAL
for t being Element of REAL st f is_uniformly_continuous_on dom f & f = g holds
( ProjPMap1 (g,t) is uniformly_continuous & ProjPMap2 (g,t) is uniformly_continuous )