Theorem SimpleGraph.fromEdgeSet_sdiff

Modification history