Theorem LinearIsometry.norm_map

Modification history