Theorem Real.hasDerivAt_binEntropy

Modification history