feat(LinearAlgebra/Matrix): diagonal matrices with nonnegative entries are totally nonnegative - #42978

feat(LinearAlgebra/Matrix): diagonal matrices with nonnegative entries are totally nonnegative#42978

sqrt-of-2 wants to merge 1 commit into

leanprover-community:masterleanprover-community/mathlib4:masterfrom

sqrt-of-2:Matrix.IsTotallyNonneg.diagonalsqrt-of-2/mathlib4:Matrix.IsTotallyNonneg.diagonalCopy head branch name to clipboard