haar_lebesgue): remove unecessary parens (#19017)

Commit

2 years ago

chore(measure_theory/measure/haar_lebesgue): remove unecessary parens (#19017) Some cleanup extracted from a larger refactor.

Author

eric-wieser

Parents