Theorem eHolderNorm_const

Modification history