∫ Утверждение Mathlib

card_triangles

Mathlib.Combinatorics.SimpleGraph.Triangle.Tripartite

URI: https://scilib.ai/kg/mathlib#SimpleGraph.TripartiteFromTriangles.card_triangles

← MathLib Explorer