Commit 2024-07-27 18:20 cfbc1bd2

View on Github →

chore(Polynomial/UnitTrinomial): Don't import the fundamental theorem of algebra (#15207) Split the one lemma that requires it to a new file Analysis.Complex.Polynomial.UnitTrinomial. Also move Analysis.Complex.Polynomial to Analysis.Complex.Polynomial.Basic.

Estimated changes