覆叠变换群

covering transformation group