Theorem wittPolynomial_one

Modification history