Theorem IsCompact.measure_eq_biInf_integral_hasCompactSupport

feat: for a regular measure, write the measure of an open set as a supremum of integrals of continuous functions (#32783) …

feat: uniqueness of Haar measure in general locally compact groups (#8198) …