Theorem PowerSeries.comp_eval₂

Modification history