Theorem SimpleGraph.fromEdgeSet_adj

Modification history