Theorem HahnSeries.SummableFamily.one_sub_self_mul_hsum_powers

Modification history