noncomputable def GLnBuilding.thinApartmentHypUnconditional (k : Type u_1) [Field k] (n : ℕ) : ThinApartmentHyp k n

Unconditional thin-apartment hypothesis for the $\mathrm{GL}_n$ building: for $n \geq 2$ it follows from the cascade of B0 lemmas, and for $n < 2$ it holds vacuously since no panels exist.