Wiki. “pro-有限群” [pro-有限群]