Theorem Real.binEntropy_lt_log_two

Modification history