Commit 2024-07-23 07:55 df0b4dd7

refactor(Probability): Make kernels a type (#15021) Turn kernel : AddSubmonoid (α → MeasureTheory.Measure β) into Kernel : Type _. This is similar to #12386 but here to gain access to dot notation rather than for performance reasons.