Mathlib Changelog
v4
Changelog
About
Github
Theorem
Polynomial.Monic.free_adjoinRoot
Modification history
2025-04-01 14:16
Mathlib/RingTheory/AdjoinRoot.lean
chore(RingTheory): various api additions (#22920) …
Added
Polynomial.Monic.free_adjoinRoot
View on Github →