Locally finite graph (source code)

= Locally finite graph
{wiki}

A graph is locally finite when every vertex has finite degree.