Theorem IsNilpotent.exp_of_nilpotent_is_unit

Modification history