Theorem ProbabilityTheory.eq_zero_or_isMarkovKernel

Modification history

2024-09-19 18:27

Mathlib/Probability/Kernel/Basic.lean

chore(Probability/Kernel): split Kernel.Basic (#16931) …

Modified ProbabilityTheory.eq_zero_or_isMarkovKernel View on Github →

2024-09-04 07:24

Mathlib/Probability/Kernel/Basic.lean

feat: use junk value in `Kernel.map`, new class `IsZeroOrMarkovKernel` (#16403) …

Added ProbabilityTheory.eq_zero_or_isMarkovKernel View on Github →