∀ {α : Type u_1} (G G_1 : SimpleGraph α),
  G = G_1 →
    ∀ [inst : Fintype α] [inst_1 : DecidableEq α] {inst_2 : DecidableRel G.Adj} [inst_3 : DecidableRel G_1.Adj]
      (n n_1 : ℕ), n = n_1 → G.cliqueFinset n = G_1.cliqueFinset n_1