Theorem ProbabilityTheory.Kernel.pow_add

Modification history

2025-11-29 08:58
Mathlib/Probability/Kernel/Composition/Comp.lean
feat(Probability/Kernel): \phi-irreducibility of kernels (#29734) …
Added ProbabilityTheory.Kernel.pow_addView on Github →