Commit 2023-07-04 09:34 141971f3
View on Github →feat: units of polynomial rings (#4691) We proved that a polynomial is a unit if and only if all of its coefficients are nilpotent, except the constant term which is a unit.
feat: units of polynomial rings (#4691) We proved that a polynomial is a unit if and only if all of its coefficients are nilpotent, except the constant term which is a unit.