Theorem SimpleGraph.Subgraph.IsPerfectMatching.symmDiff_isCycles

Modification history