OP-00096 Lean verified The uniform expansion threshold for Toeplitz symbols with higher-order zeros NA · eigenvalue asymptotics · OpenProblemsInNLA · Toeplitz matrices