haar): add lemma `measure_theory.measure.measure_preserving_zpow` (#17137)

Commit

3 years ago

feat(measure_theory/measure/haar): add lemma `measure_theory.measure.measure_preserving_zpow` (#17137) Also some small related results.

Author

ocfnash

Parents