Theorem ProbabilityTheory.Kernel.iIndepFun.indepFun_finset_prod_of_notMem₀

Modification history

2025-05-25 12:30

Mathlib/Probability/Independence/Kernel.lean

chore(*): not_mem/nmem -> notMem (#25159)

Added ProbabilityTheory.Kernel.iIndepFun.indepFun_finset_prod_of_notMem₀ View on Github →