theorem Th35: :: C0SP2:35

for X being non empty TopSpace holds R_Normed_Space_of_C_0_Functions X is RealNormSpace-like