Theorem PowerSeries.isUnit_iff_constantCoeff

Modification history