Theorem essSup_smul_measure

Modification history

2024-10-06 06:19

Mathlib/MeasureTheory/Function/EssSup.lean

feat(EssSup): More conditionally complete lattice lemmas (#17225) …

Modified essSup_smul_measure View on Github →

2023-05-21 14:20

Mathlib/MeasureTheory/Function/EssSup.lean

feat: port MeasureTheory.Function.EssSup (#4098)

Added essSup_smul_measure View on Github →