Theorem SimpleGraph.Subgraph.IsPerfectMatching.isAlternating_symmDiff_left

Modification history