Theorem Set.prod_iInter

Modification history

2024-01-27 09:26
Mathlib/Data/Set/Lattice.lean
refactor(Probability/Kernel/CondCdf): mv prod_iInter (#10037)
Added Set.prod_iInterView on Github →