Covering graph (source code)

= Covering graph
{wiki=Covering_graph}