Theorem nnHolderNorm_const

Modification history