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
.