Theorem PowerSeries.coeff_subst_finite

Modification history