Theorem ContinuousMap.norm_smul_const

Modification history