Theorem LSeries.mul_delta_eq_smul_delta

Modification history