Theorem Polynomial.support_map_of_injective

Modification history