Mathlib Changelog v4

Changelog About Github

Theorem isPiSystem_Ioo_mem

Modification history

2023-02-11 09:36

Mathlib/MeasureTheory/PiSystem.lean

feat: port MeasureTheory.PiSystem (#2160)

Added isPiSystem_Ioo_mem View on Github →