ENNReal

Statistics

Metric	Count
Definitions	0
Theorems `aefinStronglyMeasurable_of_aemeasurable`, `finStronglyMeasurable_of_measurable`	2
Total	2

Name	Kind	Assumes	Proves	Validates	Depends On
`aefinStronglyMeasurable_of_aemeasurable` 📖	mathematical	`AEMeasurable` `ENNReal` `measurableSpace`	`MeasureTheory.AEFinStronglyMeasurable` `instTopologicalSpace` `instZeroENNReal`	—	`MeasureTheory.Measure.instOuterMeasureClass` `finStronglyMeasurable_of_measurable` `MeasureTheory.lintegral_congr_ae` `Filter.EventuallyEq.symm`
`finStronglyMeasurable_of_measurable` 📖	mathematical	`Measurable` `ENNReal` `measurableSpace`	`MeasureTheory.FinStronglyMeasurable` `instTopologicalSpace` `instZeroENNReal`	—	`MeasureTheory.measure_support_eapprox_lt_top` `MeasureTheory.SimpleFunc.tendsto_eapprox`

---