Theorem SimpleGraph.farFromTriangleFree.mono

Modification history