Theorem IsNilpotent.exp_zero

Modification history