Theorem ProbabilityTheory.Kernel.IndepSets.bUnion

Modification history

2025-11-02 17:39
Mathlib/Probability/Independence/Kernel.lean
chore: fix typo in IndepSets.bUnion (#31181)
Deleted ProbabilityTheory.Kernel.IndepSets.bUnionView on Github →
2024-07-23 07:55
Mathlib/Probability/Independence/Kernel.lean
refactor(Probability): Make kernels a type (#15021) …
Added ProbabilityTheory.Kernel.IndepSets.bUnionView on Github →