Theorem HahnSeries.C_mul_eq_smul

Modification history