Theorem ProbabilityTheory.Kernel.comp_discard'

Modification history

2025-08-04 07:37
Mathlib/Probability/Kernel/Composition/Comp.lean
feat(Probability): lemmas about `Kernel.discard` (#27584)
Added ProbabilityTheory.Kernel.comp_discard'View on Github →