chore(Complex/Polynomial): golf Irreducible.degree_le_two (over reals) (#26525)
Irreducible.degree_le_two