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 →