Algebraic Graph [algebraicgraph]

Formalize Algebraic graphs with class in Lean.