Haar measure (source code)

= Haar measure
{c}
{wiki}

Every locally compact topological group has a nonzero translation-invariant regular measure, unique up to scale. On a compact group it can be normalized to have total mass one.