Theorem Real.deriv2_binEntropy

Modification history