Theorem Irreducible.nat_degree_le_two

Modification history

2024-02-18 23:34

Mathlib/Analysis/Complex/Polynomial.lean

fix: rename Irreducible.nat_degree_le_two (#10687)

Deleted Irreducible.nat_degree_le_two View on Github →

2024-02-14 08:30

Mathlib/Analysis/Complex/Polynomial.lean

feat: an irreducible real polynomial has degree ≤2 (#10431)

Added Irreducible.nat_degree_le_two View on Github →