Theorem generatePiSystem_eq

Modification history

2024-10-27 19:30

Mathlib/MeasureTheory/PiSystem.lean

chore(MeasureTheory/Constructions/Prod/Basic: split (#18286) …

Modified generatePiSystem_eq View on Github →

2023-02-11 09:36

Mathlib/MeasureTheory/PiSystem.lean

feat: port MeasureTheory.PiSystem (#2160)

Added generatePiSystem_eq View on Github →