@[implicit_reducible]

noncomputable instance CharacterGroup.instFintype {G : Type u_1} [CommGroup G] [Fintype G] : Fintype (CharacterGroup G)

noncomputable def CharacterGroup.doubleDualEquiv {G : Type u_1} [CommGroup G] [Fintype G] : G ≃* CharacterGroup (CharacterGroup G)