Theorem PowerSeries.HasSubst.of_constantCoeff_zero

Modification history