Theorem ProbabilityTheory.Kernel.indepFun_const_right

Modification history

2025-12-05 16:31
Mathlib/Probability/Independence/Kernel/Indep.lean
chore(Probability): split `Independence.Kernel` (#32327) …
Modified ProbabilityTheory.Kernel.indepFun_const_rightView on Github →
2025-09-26 12:24
Mathlib/Probability/Independence/Kernel.lean
feat(Probability): `CondIndepFun` lemmas (#29554) …
Added ProbabilityTheory.Kernel.indepFun_const_rightView on Github →