{B : Type u_6} →
  {E : outParam (Type u_7)} →
    [inst : NormedAddCommGroup E] →
      [inst_1 : NormedSpace ℝ E] →
        {Ω : outParam (TopologicalSpace.Opens E)} →
          {F : outParam (Type u_8)} →
            [inst_2 : NormedAddCommGroup F] →
              [inst_3 : NormedSpace ℝ F] →
                {n : outParam ℕ∞} →
                  (coe : B → E → F) →
                    Function.Injective coe →
                      (∀ (f : B), ContDiff ℝ (↑n) (coe f)) →
                        (∀ (f : B), HasCompactSupport (coe f)) →
                          (∀ (f : B), tsupport (coe f) ⊆ ↑Ω) → TestFunctionClass B Ω F n