Theorem Polynomial.map_dvd_map

Modification history