1.6. ForMathlib.InformationTheory.KullbackLeibler.DataProcessing
From the authors
Lemmas related to the data-processing inequality for the Kullback–Leibler divergence
Module LeanMachineLearning.ForMathlib.InformationTheory.KullbackLeibler.DataProcessing contains 1 exposed declarations.