Theorem SimpleGraph.not_isClique_iff

Modification history