Theorem ContinuousMap.norm_eq_iSup_norm

Modification history