Theorem SimpleGraph.fromEdgeSet_empty

Modification history