Theorem bind₁_xInTermsOfW_wittPolynomial

Modification history