Theorem isNilpotent_iff_zero_mem_powers

Modification history