Theorem SimpleGraph.fromEdgeSet_univ

Modification history