mathlib
5b527bd0 - refactor(linear_algebra/quadratic_form): split file (#9781)

Commit
4 years ago
refactor(linear_algebra/quadratic_form): split file (#9781) The section on quadratic forms over complex numbers required pulling in the developing of the complex power function, which significantly increases the import depth. Splitting this file allows `clifford_algebra` to be compiled much earlier. Co-authored-by: Scott Morrison <scott.morrison@gmail.com>
Author
Parents
Loading