Theorem MvPolynomial.finSuccEquiv_comp_C_eq_C

Modification history