Theorem LSeries.delta_mul_eq_smul_delta

Modification history