revert unrelated tweaks - SemanticDiff

Commit

2 years ago

revert unrelated tweaks

References

#19013 - feat(measure_theory/measure/haar_lebesgue): the volume measures on `euclidean_space ℝ ι` and `ι → ℝ` agree

Author

eric-wieser

eric-wieser

Parents

Loading