Theorem LSeriesSummable.of_smul

Modification history