Theorem SimpleGraph.Subgraph.IsMatching.toEdge.surjective

Modification history