Theorem LSeries_delta

Modification history