Theorem wittPolynomial_vars_subset

Modification history