Theorem MvPolynomial.killCompl_rename_app

Modification history