Theorem Polynomial.coe_algebraMap_eq_CC

Modification history