Theorem Polynomial.toFinsupp_inj

Modification history