Theorem Polynomial.aeval_apply_smul_mem_of_le_comap

Modification history