Theorem Real.qaryEntropy_zero

Modification history