Theorem SimpleGraph.FarFromTriangleFree.lt_half

Modification history