measure): generalise `is_haar_measure_map` slightly. (#17107)

Commit

3 years ago

feat(measure_theory/group/measure): generalise `is_haar_measure_map` slightly. (#17107)

Author

ocfnash

Parents