Documentation

GibbsMeasure.Mathlib.MeasureTheory.Integral.Bochner.Basic