Theorem isPiSystem_image_Iic

Modification history

2023-08-15 08:08
Mathlib/MeasureTheory/PiSystem.lean
feat: intervals with rational bounds generate the real Borel sigma algebra (#6490) …
Added isPiSystem_image_IicView on Github →