Theorem Real.deriv2_qaryEntropy

Modification history