Theorem SimpleGraph.Subgraph.isPerfectMatching_iff

Modification history

2023-03-27 12:09
Mathlib/Combinatorics/SimpleGraph/Matching.lean
feat: port Combinatorics.SimpleGraph.Matching (#3071)
Added SimpleGraph.Subgraph.isPerfectMatching_iffView on Github →