Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Commit
2021-02-28 01:58
11f18015
View on Github →
feat(linear_algebra/quadratic_form): add associated_eq_self_apply (
#6458
)
Estimated changes
Modified
src/linear_algebra/quadratic_form.lean
added
theorem
quadratic_form.associated_eq_self_apply