Commit 2023-08-15 03:15 a075669f
View on Github →feat: proof of Gershgorin's circle theorem and some applications (#6436) Prove Gershgorin circle theorem and some applications that will be useful for the proof of Dirichlet's unit theorem #5960
feat: proof of Gershgorin's circle theorem and some applications (#6436) Prove Gershgorin circle theorem and some applications that will be useful for the proof of Dirichlet's unit theorem #5960