Theorem Polynomial.valuation_of_mk

Modification history