Theorem HahnSeries.SummableFamily.finite_co_support_prod_smul

Modification history