ハール測度
The "left" translate of a right Haar measure is a right Haar measure. More precisely, if formula_94 is a right Haar measure, then