Theorem Polynomial.monic_mapAlg_iff

Modification history

2025-10-14 10:22
Mathlib/Algebra/Polynomial/FieldDivision.lean
feat(Analysis/Normed/Unbundled/SpectralNorm): add API (#26668)
Added Polynomial.monic_mapAlg_iffView on Github →