∫ Утверждение Mathlib
isAlternating_symmDiff_right
Mathlib.Combinatorics.SimpleGraph.Matching
URI: https://scilib.ai/kg/mathlib#SimpleGraph.Subgraph.IsPerfectMatching.isAlternating_symmDiff_right
∫ Утверждение Mathlib
Mathlib.Combinatorics.SimpleGraph.Matching
URI: https://scilib.ai/kg/mathlib#SimpleGraph.Subgraph.IsPerfectMatching.isAlternating_symmDiff_right