Theorem SimpleGraph.TripartiteFromTriangles.card_triangles

Modification history