Haar measure
One property of a left Haar measure formula_11 is that, letting formula_143 be an element of formula_3, the following is valid: