Theorem LinearMap.mkContinuous₂_norm_le'

Modification history