Theorem HahnSeries.coeff_single_mul_add

Modification history