Theorem SimpleGraph.edgeSet_fromEdgeSet

Modification history