Condensation lemma for the constructible universe
= Condensation lemma for the constructible universe
If $X$ is an elementary substructure of a sufficiently large level $L_\theta$, then the transitive collapse of $X$ is a level $L_\beta$. In particular, a countable $X$ collapses to a level indexed by a countable ordinal.