Theorem aeSeq.iSup

Modification history

2025-04-09 09:39

Mathlib/MeasureTheory/Function/AEMeasurableSequence.lean

feat: generalize Mathlib.MeasureTheory (#23147) …

Modified aeSeq.iSup View on Github →

2023-05-14 07:05

Mathlib/MeasureTheory/Function/AEMeasurableSequence.lean

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

Added aeSeq.iSup View on Github →