Theorem LSeries.term_neg

Modification history