docs(measure_theory/measure/haar): Mention uniqueness in module docstring (#15740)
docs(measure_theory/measure/haar): Mention uniqueness in module docstring (#15740)





leanprover-community/mathlib,leanprover-community/mathlib