complex): all non-degenerate quadratic forms over ℂ are equivalent (#10951)

Commit

3 years ago

feat(linear_algebra/quadratic_form/complex): all non-degenerate quadratic forms over ℂ are equivalent (#10951)

Author

eric-wieser

Parents