Theorem SimpleGraph.farFromTriangleFree_of_disjoint_triangles

Modification history