Theorem Polynomial.toFinsupp_injective

Modification history