Theorem SimpleGraph.FarFromTriangleFree.le_card_cliqueFinset

Modification history