mathlib
4ca776ee - feat(linear_algebra/quadratic_form): equivalence of quadratic forms (#2769)

Commit

5 years ago

feat(linear_algebra/quadratic_form): equivalence of quadratic forms (#2769)

Author

jcommelin

jcommelin

Parents

Loading