Commit 2025-08-22 22:36 1e3c0570

View on Github →

feat: irreducible polynomial has positive degree (#28587)

Estimated changes

added theorem Irreducible.degree_pos
modified theorem Irreducible.natDegree_pos