Theorem LSeries.pow_mul_term_eq

Modification history