feat(MeasureTheory): absolute continuity preserved by Lipschitz postcomposition - #42996

feat(MeasureTheory): absolute continuity preserved by Lipschitz postcomposition#42996

deancureton wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

deancureton:absolute-continuity-lipschitz-compositiondeancureton/mathlib4:absolute-continuity-lipschitz-compositionCopy head branch name to clipboard