Theorem SimpleGraph.Subgraph.isMatching_iff_forall_degree

Modification history