1.14. ForMathlib.Probability.Kernel.Basic🔗

Basic lemmas about Markov kernels

Module LeanMachineLearning.ForMathlib.Probability.Kernel.Basic contains 1 exposed declarations.

• ProbabilityTheory.Kernel.deterministic_injLemma · 0 deps