Mathlib Changelog v4

Changelog About Github

Theorem isPiSystem_Ioo

Modification history

2023-02-11 09:36

Mathlib/MeasureTheory/PiSystem.lean

feat: port MeasureTheory.PiSystem (#2160)

Added isPiSystem_Ioo View on Github →