2026·05·24 Eigenvalues, without the hand-waving Working through Axler, where eigenvalues arrive late and on purpose. Why that ordering is the honest one.