Documentation

GibbsMeasure.Mathlib.Probability.Kernel.Condexp