Theorem SimpleGraph.isTuranMaximal_turanGraph

Modification history