Theorem Polynomial.map_expand_pow_char

Modification history