Theorem Polynomial.Monic.finite_adjoinRoot

Modification history

2025-04-01 14:16
Mathlib/RingTheory/AdjoinRoot.lean
chore(RingTheory): various api additions (#22920) …
Added Polynomial.Monic.finite_adjoinRootView on Github →