Lemma 7.1
Kurs:Maß- und Integrationstheorie (Osnabrück 2022-2023)/Vorlesung 7 Linearer Endomorphismus/Bildmaß von Borel-Lebesgue/Translationsinvariant/Fakt