Theorem LinearMap.mkContinuous₂_norm_le

Modification history