Theorem Polynomial.toFinsupp_algebraMap

Modification history