Theorem IsNilpotent.map_exp

Modification history