Theorem SimpleGraph.FarFromTriangleFree.cliqueFinset_nonempty'

Modification history