Theorem LSeries.term_smul_apply

Modification history