Theorem PowerSeries.evalNegHom_X

Modification history