Theorem isNilpotent_neg_iff

Modification history