Theorem HahnSeries.coeff_smul'

Modification history