Theorem SimpleGraph.Subgraph.mem_edgeSet

Modification history