{X : Type u} →
  {inst : TopologicalSpace X} →
    {C : Set X} →
      {D : outParam (Set X)} →
        [self : Topology.RelCWComplex C D] → (n : ℕ) → Topology.RelCWComplex.cell C n → PartialEquiv (Fin n → ℝ) X