Theorem BoundedContinuousFunction.nnnorm_eq_iSup_nnnorm

Modification history