Theorem SimpleGraph.Subgraph.IsMatching.exists_of_universalVerts

Modification history