Mathlib Changelog
v4
Changelog
About
Github
Theorem
MeasurableSet.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
MeasurableSet.of_union₃_range_cover
View on Github →