∀ {F : Type u_2} {Γ : outParam (Subgroup (GL (Fin 2) ℝ))} {k : outParam ℤ} [inst : FunLike F UpperHalfPlane ℂ]
  [toSlashInvariantFormClass : SlashInvariantFormClass F Γ k],
  (∀ (f : F), MDifferentiable (modelWithCornersSelf ℂ ℂ) (modelWithCornersSelf ℂ ℂ) ⇑f) →
    (∀ (f : F) {c : OnePoint ℝ}, IsCusp c Γ → c.IsZeroAt (⇑f) k) → CuspFormClass F Γ k