Mathlib

A circuit that uses each edge once. Vertices may repeat; edges may not.