Theorem QuadraticForm.discr'_smul

Modification history

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