Theorem Polynomial.toFinsupp_apply

Modification history