Theorem Polynomial.eval₂_reflect_mul_pow

Modification history