Theorem Real.binEntropy_neg_of_neg

Modification history