Def SimpleGraph.IsMatchingFree

Modification history

2024-08-12 13:06

Mathlib/Combinatorics/SimpleGraph/Matching.lean

feat(Combinatorics/SimpleGraph/Matching): Add matching free graphs (#15357) …

Added SimpleGraph.IsMatchingFree View on Github →