Formalizing Structural Graph Theory in Lean 4