∀ {α : Type u_1} {inst : DecidableEq α} [inst_1 : DecidableEq α] (G G_1 : SimpleGraph α),
  G = G_1 → ∀ (r r_1 : ℕ), r = r_1 → ∀ (k k_1 : ℕ), k = k_1 → G.FiveWheelLikeFree r k = G_1.FiveWheelLikeFree r_1 k_1