theorem Th35: :: VFUNCT_2:35

for M being non empty set
for V being ComplexNormSpace
for f being PartFunc of M,V holds
( f is total iff - f is total )