Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-05-04 17:58 0009ffba

View on Github →

refactor(linear_algebra/charpoly): split file to reduce imports (#13778) While working on representation theory I was annoyed to find that essentially all of field theory was being transitively imported (causing lots of unnecessary recompilation). This improves the situation slightly.

Estimated changes