Theorem Polynomial.aeval_conj

Modification history

2024-02-14 08:30

Mathlib/Data/IsROrC/Lemmas.lean

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

Added Polynomial.aeval_conj View on Github →