Theorem PowerSeries.coeff_zero_eq_constantCoeff

Modification history