Theorem HahnSeries.coeff_nsmul

Modification history