Theorem MemHolder.nnHolderNorm_smul

Modification history