Theorem QuadraticForm.isSymm_toMatrix

Modification history

2026-05-22 10:01

Mathlib/LinearAlgebra/QuadraticForm/Basic.lean

feat(LinearAlgebra/QuadraticForm): generalize discr (#39415) …

Added QuadraticForm.isSymm_toMatrix View on Github →