كومپاكت گۇرۇپپىدىكى ئۆزگەرمەس ئىنتېگرال

紧群上的不变积分 jǐn qún shàng de bù biàn jī fēn