Theorem Real.binEntropy_eq_log_two

Modification history