Theorem MvPolynomial.isNilpotent_iff

Modification history

2025-06-13 08:21
Mathlib/Algebra/MvPolynomial/Nilpotent.lean
feat(Algebra/MvPolynomial): nilpotents and units (#25062)
Added MvPolynomial.isNilpotent_iffView on Github →