The Remaining $K_4$-Free Case in the Multipartite Clique Problem

For integers $n,r,t$ with $2\le t\le r-1$, let $f(n,r,t+1)$ denote the largest possible minimum degree of a balanced $r$-partite graph with parts of size $n$ and containing no copy of $K_{t+1}$. Lo, Treglown and Zhao identified $f(n,7,4)$ as the only remaining case in their treatment of the $K_4$-fr