Theorem SimpleGraph.Subgraph.IsPerfectMatching.isAlternating_symmDiff_right

Modification history