not_cliqueFree — Mathlib

English

The Triangle Counting Lemma: under uniformity and density assumptions, a positive proportion of triples forms triangles.

Русский

Лемма подсчёта треугольников: при условии равномерности и плотности определённая доля тройок образуют треугольники.

LaTeX

$$∗ Triangle counting' ∗$$

Lean4

theorem not_cliqueFree (hG : G.FarFromTriangleFree ε) (hε : 0 < ε) : ¬G.CliqueFree 3 := fun h => (hG.nonpos h).not_gt hε

Похожие утверждения