${\square }_{\kappa }^{<\omega }$ holds in $L[\vec{E}]$

Abstract

Square-kappa-finite, the finite family version of weak square, holds at all cardinals kappa in the Mitchell-Steel inner models.