Theorem PowerSeries.substAlgHom_eq_aeval

Modification history