Theorem Polynomial.isNilpotent_C_iff

Modification history