Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-10-18 02:28 5b527bd0

View on Github →

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.

Estimated changes