Theorem Real.qaryEntropy_neg_of_neg

Modification history