Mathlib Changelog
v4
Changelog
About
Github
Theorem
Irreducible.natDegree_le_two
Modification history
2024-02-18 23:34
Mathlib/Analysis/Complex/Polynomial.lean
fix: rename Irreducible.nat_degree_le_two (#10687)
Added
Irreducible.natDegree_le_two
View on Github →