Theorem Polynomial.injective_ofFn

Modification history