Mathlib

1/4

Vertices, and edges joining two distinct ones. No loops, no parallel edges.