Theorem SimpleGraph.Subgraph.edgeSet_iSup

Modification history