Theorem SimpleGraph.Subgraph.edgeSet_sSup

Modification history