Theorem LSeries.term_sub

Modification history