Theorem IsNilpotent.zero

Modification history

2024-04-23 14:29

Mathlib/RingTheory/Nilpotent.lean

chore: split RingTheory.Nilpotent (#12184) …

Modified IsNilpotent.zero View on Github →

2023-08-10 19:52

Mathlib/RingTheory/Nilpotent.lean

feat: lemmas about nilpotency and polynomials (#6450)

Modified IsNilpotent.zero View on Github →

2023-03-12 19:12

Mathlib/RingTheory/Nilpotent.lean

feat: port RingTheory.Nilpotent (#2829)

Added IsNilpotent.zero View on Github →