# Commit 2023-07-26 13:39 d11f435d

View on Github →feat(linear_algebra/quadratic_form): some work from 'Clifford Algebras and Spinor Norms Over a Commutative Ring' (#18447)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(linear_algebra/quadratic_form): some work from 'Clifford Algebras and Spinor Norms Over a Commutative Ring' (#18447)