Theorem IsNilpotent.exp_smul_eq_sum

Modification history