Theorem not_isNilpotent_one

Modification history

2024-04-23 14:29
Mathlib/RingTheory/Nilpotent.lean
chore: split RingTheory.Nilpotent (#12184) …
Modified not_isNilpotent_oneView on Github →
2023-11-27 17:05
Mathlib/RingTheory/Nilpotent.lean
feat: Add `not_isNilpotent_one`. (#8648)
Added not_isNilpotent_oneView on Github →