Theorem ProbabilityTheory.iCondIndepFun.condIndepFun_finsetProd_of_notMem

Modification history

2026-04-26 16:26
Mathlib/Probability/Independence/Conditional.lean
chore: camel-case `finset_sum` in lemma names (#37793) …
Added ProbabilityTheory.iCondIndepFun.condIndepFun_finsetProd_of_notMemView on Github →