Theorem QuadraticForm.discr_eq_discr'

Modification history

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