{Γ : Type u_1} →
  {R : Type u_3} →
    {α : Type u_5} →
      {β : Type u_6} →
        [inst : PartialOrder Γ] →
          [inst_1 : AddCommMonoid R] → HahnSeries.SummableFamily Γ R α → (α ↪ β) → HahnSeries.SummableFamily Γ R β