∀ {α : Type u_1} {β : Type u_2} [inst : CommMonoid α] [inst_1 : TopologicalSpace α] {f : β → α} {L : SummationFilter β}
  [ContinuousMul α], Multipliable f L → ∀ (n : ℕ), Multipliable (fun x => f x ^ n) L