Theorem SimpleGraph.EdgeDisjointTriangles.card_edgeFinset_le

Modification history