Theorem nnHolderNorm_zero

Modification history