Theorem Polynomial.isNilpotent_reflect_iff

Modification history

2024-07-09 09:09
Mathlib/RingTheory/Polynomial/Nilpotent.lean
chore: add missing spaces around = or := (#14554) …
Modified Polynomial.isNilpotent_reflect_iffView on Github →
2023-09-04 13:18
Mathlib/RingTheory/Polynomial/Nilpotent.lean
feat: nilpotent matrices have nilpotent trace (#6588) …
Added Polynomial.isNilpotent_reflect_iffView on Github →