measure): a product of Haar measures is a Haar measure (#15120)

Commit

3 years ago

feat(measure_theory/group/measure): a product of Haar measures is a Haar measure (#15120)

Author

sgouezel

Parents