Theorem Measurable.of_union_range_cover

Modification history

2024-10-28 06:12
Mathlib/MeasureTheory/MeasurableSpace/Embedding.lean
feat: gluing measurable functions along measurable embeddings (#18287)
Added Measurable.of_union_range_coverView on Github →