Theorem MeasureTheory.StronglyMeasurable.of_finite

Modification history

2025-01-25 09:32

Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean

refactor: merge `AEStronglyMeasurable` and `AEStronglyMeasurable'` (#20932) …

Modified MeasureTheory.StronglyMeasurable.of_finite View on Github →

2024-02-06 07:47

Mathlib/MeasureTheory/Function/StronglyMeasurable/Basic.lean

chore(MeasureTheory): `Fintype` -> `Finite` (#10289) …

Added MeasureTheory.StronglyMeasurable.of_finite View on Github →