Theorem IsNilpotent.pow

Modification history