Theorem Real.binEntropy_nonneg

Modification history