Theorem SimpleGraph.turanGraph_zero

Modification history