Theorem Real.binEntropy_strictMonoOn

Modification history