Theorem ProbabilityTheory.Kernel.lintegral_parallelComp

Modification history

2025-03-04 13:59

Mathlib/Probability/Kernel/Composition/ParallelComp.lean

chore(Probability/Kernel): make `parallelProd` independent of `compProd` (#22428) …

Modified ProbabilityTheory.Kernel.lintegral_parallelComp View on Github →

2024-12-11 17:32

Mathlib/Probability/Kernel/Composition/ParallelComp.lean

feat(Probability): parallel composition of kernels (#19482) …

Added ProbabilityTheory.Kernel.lintegral_parallelComp View on Github →