Structure QuadraticMap.Nondegenerate

Modification history

2026-02-24 20:40

Mathlib/LinearAlgebra/QuadraticForm/Radical.lean

feat(LinearAlgebra/QuadraticForm): radical of a quadratic form (#34493) …

Added QuadraticMap.Nondegenerate View on Github →