Theorem SimpleGraph.IsPerfectMatching.isAlternating_symmDiff_left

Modification history