Theorem Real.iUnion_Iic_rat

Modification history

2024-03-27 13:47
Mathlib/Data/Real/Archimedean.lean
chore(Probability/Kernel/CondCdf): cleanup (#10635) …
Modified Real.iUnion_Iic_ratView on Github →
2023-06-30 23:14
Mathlib/Probability/Kernel/CondCdf.lean
fix: precedences of `⨆⋃⋂⨅` (#5614)
Modified Real.iUnion_Iic_ratView on Github →
2023-06-16 15:28
Mathlib/Probability/Kernel/CondCdf.lean
feat: port Probability.Kernel.CondCdf (#5143)
Added Real.iUnion_Iic_ratView on Github →