Theorem ProbabilityTheory.Kernel.comp_apply_univ_le

Modification history

2025-09-12 14:29
Mathlib/Probability/Kernel/Composition/Comp.lean
feat(Probability/Kernel): change the def of `IsFiniteKernel.bound` to make it more informative (#29137) …
Modified ProbabilityTheory.Kernel.comp_apply_univ_leView on Github →
2025-03-01 01:15
Mathlib/Probability/Kernel/Composition/Comp.lean
chore: split Probability/Kernel/Composition/Basic (#22400) …
Added ProbabilityTheory.Kernel.comp_apply_univ_leView on Github →