Theorem Polynomial.ofFinsupp_pow

Modification history