∀ {V : Type u_1} (G : SimpleGraph V) [inst : Fintype V] {n : ℕ} (hc : Fintype.card V = n),
  G.overFin hc =
    { Adj := fun x y => G.Adj ((Fintype.equivFinOfCardEq hc).symm x) ((Fintype.equivFinOfCardEq hc).symm y), symm := ⋯,
      loopless := ⋯ }