Theorem MeasurableSpace.iUnion_mem_generateMeasurableRec

Modification history

2024-11-19 00:05

Mathlib/MeasureTheory/MeasurableSpace/Card.lean

refactor(MeasureTheory/MeasurableSpace/Card): avoid `Ordinal.toType` (#18199) …

Modified MeasurableSpace.iUnion_mem_generateMeasurableRec View on Github →

2023-05-14 07:05

Mathlib/MeasureTheory/CardMeasurableSpace.lean

chore: Rename to `sSup`/`iSup` (#3938) …

Added MeasurableSpace.iUnion_mem_generateMeasurableRec View on Github →