Theorem IsPiSystem.singleton

Modification history

2024-10-27 19:30

Mathlib/MeasureTheory/PiSystem.lean

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

Modified IsPiSystem.singleton View on Github →

2023-02-11 09:36

Mathlib/MeasureTheory/PiSystem.lean

feat: port MeasureTheory.PiSystem (#2160)

Added IsPiSystem.singleton View on Github →