Definition:Haar Measure

Also see

 * Definition:Left Haar Measure