Theorem Real.deriv_binEntropy

Modification history