Theorem PowerSeries.coeff_cos_bit0

Modification history