Mathlib Changelog
v4
Changelog
About
Github
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_ball
View on Github →