Theorem bind₁_wittPolynomial_xInTermsOfW

Modification history