Mathlib.Information­Theory.Kullback­Leibler

Density-tilt expansions for Kullback–Leibler divergence.

Density­Tilt 6 core · 3 supporting · 3 submodules Density tilting and local expansions of Kullback–Leibler divergence, including cubic remainder control.