Theorem IsNilpotent.pow_iff_pos

Modification history