Theorem IsNilpotent.exp_mul_exp_neg_self

Modification history