A Liouville-type theorem for stable minimal hypersurfaces

We prove that if M is a strictly stable complete minimal hypersurface in Euclidean space with finite density at infinity and which lies on one side of a minimal cylinder with cross-section a strictly stable area minimizing hypercone, then M must be cylindrical. Applications will be given in the references [Sim20a], [Sim20b].