Theorem SimpleGraph.IsPerfectMatching.isAlternating_symmDiff_right

Modification history