Theorem SimpleGraph.Subgraph.edgeSet_coe

Modification history