Commit 2024-01-27 09:26 cb8ebafb

View on Github →

refactor(Probability/Kernel/CondCdf): mv prod_iInter (#10037)

Estimated changes

Modified Mathlib/Data/Set/Lattice.lean

added theorem Set.prod_iInter

Modified Mathlib/Probability/Kernel/CondCdf.lean

deleted theorem prod_iInter