Theorem Real.qaryEntropy_strictMonoOn

Modification history