Theorem IsNilpotent.exp_smul

Modification history