Theorem PowerSeries.map_cos

Modification history