Theorem LSeries_smul

Modification history