Theorem LinearMap.norm_mkContinuous₂_aux

Modification history