Theorem LSeries_sub

Modification history