theorem Th36: :: VFUNCT_2:36

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 ) by NORMSP_0:def 3;