Theorem Polynomial.cyclotomic.eval_apply

Modification history