Theorem Real.strictConcave_binEntropy

Modification history