Theorem QuadraticForm.toMatrix_comp

Modification history

2026-05-22 10:01
Mathlib/LinearAlgebra/QuadraticForm/Basic.lean
feat(LinearAlgebra/QuadraticForm): generalize discr (#39415) …
Added QuadraticForm.toMatrix_compView on Github →