Theorem SimpleGraph.isTuranMaximal_iff_nonempty_iso_turanGraph

Modification history