{V : Type u_1} →
  [inst : Fintype V] →
    (G : SimpleGraph V) →
      [inst_1 : DecidableRel G.Adj] →
        [inst_2 : DecidableEq V] →
          [DecidableEq G.ConnectedComponent] →
            Module.Basis G.ConnectedComponent ℝ ↥(Matrix.toLin' (SimpleGraph.lapMatrix ℝ G)).ker