Theorem ContinuousMap.neg_norm_le_apply

Modification history