Def QuadraticForm.discr'

Modification history

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