Theorem SimpleGraph.fromEdgeSet_inf

Modification history