Theorem Polynomial.toFn_zero

Modification history