Mathlib Changelog
v4
Changelog
About
Github
Def
QuadraticMap.radical
Modification history
2026-02-24 20:40
Mathlib/LinearAlgebra/QuadraticForm/Radical.lean
feat(LinearAlgebra/QuadraticForm): radical of a quadratic form (#34493) …
Added
QuadraticMap.radical
View on Github →