Theorem ProbabilityTheory.Kernel.const_comp'

Modification history

2025-03-01 01:15
Mathlib/Probability/Kernel/Composition/Basic.lean
chore: split Probability/Kernel/Composition/Basic (#22400) …
Modified ProbabilityTheory.Kernel.const_comp'View on Github →
2024-08-07 08:06
Mathlib/Probability/Kernel/Composition.lean
feat (Probability.Kernel): Composition with a constant kernel. (#15461) …
Added ProbabilityTheory.Kernel.const_comp'View on Github →