Theorem ProbabilityTheory.Kernel.comp_parallelComp_comp_copy

Modification history

2026-05-04 16:33
Mathlib/Probability/Kernel/Deterministic.lean
feat(Probability/Kernel): define `IsDeterministic` (#38211) …
Added ProbabilityTheory.Kernel.comp_parallelComp_comp_copyView on Github →