Theorem PowerSeries.coeff_sin_bit1

Modification history