Theorem MvPolynomial.map_comp_C

Modification history