Theorem PowerSeries.continuous_eval₂

Modification history