Theorem Real.binEntropy_neg_of_one_lt

Modification history