On turning waves for the inhomogeneous Muskat problem: a computer-assisted proof | Publicación