mathlib

bcf20b09 - feat(combinatorics/simple_graph/matching): is_matching iff all degrees = 1 (#10864)