The flag-complex Turán lower-bound conjecture
Turán lower-bound conjecture. The face vector of Δ\DeltaΔ is componentwise at least that of TTT: