Theorem Polynomial.irreducible_comp_iff

Modification history

2026-10-03 10:16
Mathlib/FieldTheory/IntermediateField/Adjoin/Basic.lean
feat: generalize `Polynomial.irreducible_comp` (#42344) …
Added Polynomial.irreducible_comp_iffView on Github →