Theorem Real.binEntropy_strictAntiOn

Modification history