Theorem LSeries.mul_delta

Modification history