Theorem QuadraticForm.posDefOfNonneg

Modification history

2023-09-07 12:30
Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
chore: tidy various files (#7009)
Deleted QuadraticForm.posDefOfNonnegView on Github →
2023-06-05 12:54
Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
feat: port LinearAlgebra.QuadraticForm.Basic (#4432)
Added QuadraticForm.posDefOfNonnegView on Github →