Theorem isPiSystem_Iic

Modification history

2023-08-15 08:08
Mathlib/MeasureTheory/PiSystem.lean
feat: intervals with rational bounds generate the real Borel sigma algebra (#6490) …
Modified isPiSystem_IicView on Github →
2023-06-16 15:28
Mathlib/Probability/Kernel/CondCdf.lean
feat: port Probability.Kernel.CondCdf (#5143)
Added isPiSystem_IicView on Github →