Theorem EuclideanSpace.norm_single

Modification history