Def quadratic_form.associated
Modification history
2023-07-26 13:39
src/linear_algebra/quadratic_form/basic.lean
feat(linear_algebra/quadratic_form): some work from 'Clifford Algebras and Spinor Norms Over a Commutative Ring' (#18447)
Modified quadratic_form.associatedView on Github →2021-03-15 09:03
src/linear_algebra/quadratic_form.lean
feat(linear_algebra/quadratic_form): associated bilinear form over noncommutative rings (#6585) …
Modified quadratic_form.associatedView on Github →