Theorem SimpleGraph.Subgraph.edgeSet_supᵢ

Modification history