Theorem MvPolynomial.killCompl_comp_rename

Modification history