アンドレ・ヴェイユ
The general version of the theorem, first proved by André Weil, states that if "G" is a locally compact group, and "A" ⊂ "G" a subset of positive (left) Haar measure, then