Theorem QuadraticForm.toMatrix_smul

Modification history

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