Commit 2024-02-14 00:27 5efaaf85

View on Github →

feat: better uniqueness results for the Haar measure (#9909) We show that two Haar measures give the same measure to sets with compact closure, and to open sets, without any regularity assumptions. This is based on McQuillan's answer on https://mathoverflow.net/questions/456670.

Estimated changes