Theorem prod_iInter

Modification history

2024-01-27 09:26

Mathlib/Probability/Kernel/CondCdf.lean

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

Deleted prod_iInter View on Github →

2023-06-16 15:28

Mathlib/Probability/Kernel/CondCdf.lean

feat: port Probability.Kernel.CondCdf (#5143)

Added prod_iInter View on Github →