∀ {k : ℤ} {F : Type u_1} [inst : FunLike F UpperHalfPlane ℂ] {Γ : Subgroup (GL (Fin 2) ℝ)} {h : ℝ},
  0 < h →
    h ∈ Γ.strictPeriods →
      ∀ (a : ℂ) (f : F) [ModularFormClass F Γ k],
        ModularFormClass.qExpansion h (a • ⇑f) = a • ModularFormClass.qExpansion h ⇑f