Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-09-14 19:35 218ef40a

View on Github →

feat(measure_theory): image of Lebesgue measure under shift/rescale (#3760)

Estimated changes

added theorem finset.bInter_bind
added theorem finset.bUnion_bind
added theorem finset.infi_bind
added theorem finset.supr_bind
added theorem set_coe.forall'
added theorem real.map_volume_neg
modified theorem real.volume_Icc
modified theorem real.volume_Ico
modified theorem real.volume_Ioc
modified theorem real.volume_Ioo
modified theorem real.volume_interval
modified theorem real.volume_singleton
modified theorem real.volume_val
modified theorem is_measurable.Union
modified theorem is_measurable.const
modified theorem is_measurable.diff
modified theorem is_measurable.disjointed
modified theorem is_measurable.inter
modified theorem is_measurable.union
modified theorem measure_theory.measure_diff