Theorem PowerSeries.substAlgHom_X

Modification history