Theorem LinearMap.mkContinuous_norm_le

Modification history