Theorem Real.qaryEntropy_nonneg

Modification history