Theorem ProbabilityTheory.Kernel.coe_finsetSum

Modification history

2026-07-16 07:28
Mathlib/Probability/Kernel/Defs.lean
feat(MeasureTheory): use `IsApply` for `Kernel` (#41179)
Deleted ProbabilityTheory.Kernel.coe_finsetSumView on Github →
2026-04-26 16:26
Mathlib/Probability/Kernel/Defs.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Added ProbabilityTheory.Kernel.coe_finsetSumView on Github →