Theorem PowerSeries.heval_mul

Modification history