Theorem ProbabilityTheory.Kernel.id_parallelComp_id

Modification history

2026-03-27 14:36
Mathlib/Probability/Kernel/Composition/ParallelComp.lean
feat(Kernel/Category): Stoch is a Markov category (#36779) …
Added ProbabilityTheory.Kernel.id_parallelComp_idView on Github →