The codegree-squared density conjecture for K54K_5^4K54
The codegree-squared density conjecture for K54K_5^4K54. The lower bound is tight: