mathlib

ff44a03c - first experiments with this definition of graphs