Theorem Real.deriv_qaryEntropy

Modification history