Theorem Polynomial.aeval_eq_sum_range'

Modification history