Theorem LinearMap.mkContinuous_norm_le'

Modification history