Theorem MvPolynomial.coeToMvPowerSeries.ringHom_apply

Modification history