Theorem LinearIsometryEquiv.norm_map

Modification history