Theorem LinearIsometry.norm_toContinuousLinearMap

Modification history