Theorem IsNilpotent.exp_eq_sum

Modification history