Theorem LSeriesSummable.smul_iff

Modification history