Theorem isPiSystem_image_Ici

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_IciView on Github →