Theorem IsNilpotent.isUnit_exp

Modification history

2025-03-18 18:59
Mathlib/RingTheory/Nilpotent/Exp.lean
chore: rename IsNilpotent.exp_of_nilpotent_is_unit (#22822)
Added IsNilpotent.isUnit_expView on Github →