{B : Type u_5} →
  {E : outParam (Type u_6)} →
    {F : outParam (Type u_7)} →
      [inst : NormedAddCommGroup E] →
        [inst_1 : NormedAddCommGroup F] →
          [inst_2 : NormedSpace ℝ E] →
            [inst_3 : NormedSpace ℝ F] →
              {n : outParam ℕ∞} →
                {K : outParam (TopologicalSpace.Compacts E)} →
                  [toDFunLike : DFunLike B E fun x => F] →
                    (∀ (f : B), ContDiff ℝ ↑n ⇑f) →
                      (∀ (f : B), Set.EqOn (⇑f) 0 (↑K)ᶜ) → ContDiffMapSupportedInClass B E F n K