Theorem measurable_updateFinset

Modification history

2023-11-11 01:53

Mathlib/MeasureTheory/MeasurableSpace/Basic.lean

feat: measurability of uniqueElim and piFinsetUnion (#8249) …

Added measurable_updateFinset View on Github →