Theorem IsNilpotent.exp_neg_mul_exp_self

Modification history