Theorem PowerSeries.coeff_cos_bit1

Modification history