Theorem HahnSeries.coeff_smul

Modification history