Theorem SimpleGraph.IsClique.even_iff_exists_isMatching

Modification history