Theorem Real.strictConcaveOn_qaryEntropy

Modification history