Theorem eigenvalue_mem_ball

Modification history

2023-08-15 03:15
Mathlib/LinearAlgebra/Matrix/Gershgorin.lean
feat: proof of Gershgorin's circle theorem and some applications (#6436) …
Added eigenvalue_mem_ballView on Github →