Theorem Polynomial.map_C

Modification history