The latter implies that undirected graphs have to have two copies of each edge, one pointed each direction.

Which is correct? The former, I hope :-) Thanks.

Undirected graphs store only one set of edges. The implementation of the just makes it seem like two different copies :)